From 36a50f549575ae59209f17b50a3d68874b4b0cf3 Mon Sep 17 00:00:00 2001 From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> Date: Mon, 1 Jan 2024 15:57:04 +0100 Subject: [PATCH] check-pr: fix check_duplicates (#11954) --- scripts/check-pr.sh | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/scripts/check-pr.sh b/scripts/check-pr.sh index ac228966b..6c1115fa1 100755 --- a/scripts/check-pr.sh +++ b/scripts/check-pr.sh @@ -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