check-pr: fix check_duplicates (#11954)

pull/23/head
Sebastiaan Speck 2024-01-01 15:57:04 +01:00 committed by GitHub
parent 9bdadee54c
commit 36a50f5495
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 3 deletions

View File

@ -22,14 +22,14 @@
# Check for duplicated pages.
function check_duplicates {
local page=$1 # page path in the format 'platform/pagename.md'
local page=$1 # page path in the format 'pages<.language_code>/platform/pagename.md'
local parts
local other
readarray -td'/' parts < <(echo -n "$page")
local platform=${parts[0]}
local file=${parts[1]}
local platform=${parts[1]}
local file=${parts[2]}
case "$platform" in
common) # check if page already exists in other platforms