From 3478a2e0da5c62813d3b0b0f33ff59d5c9d0bfe5 Mon Sep 17 00:00:00 2001 From: Onur Tirtir Date: Wed, 17 Jan 2024 11:41:53 +0300 Subject: [PATCH] Fix the script that sorts GUCs in alphabethical order --- ci/check_gucs_are_alphabetically_sorted.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ci/check_gucs_are_alphabetically_sorted.sh b/ci/check_gucs_are_alphabetically_sorted.sh index 763b5305f..3d368e708 100755 --- a/ci/check_gucs_are_alphabetically_sorted.sh +++ b/ci/check_gucs_are_alphabetically_sorted.sh @@ -4,7 +4,7 @@ set -euo pipefail # shellcheck disable=SC1091 source ci/ci_helpers.sh -# extract citus gucs in the form of "citus.X" -grep -o -E "(\.*\"citus\.\w+\")," src/backend/distributed/shared_library_init.c > gucs.out +# extract citus gucs in the form of "citus.X" +grep -P "^[\t][\t]\"citus\.[a-zA-Z_0-9]+\"" src/backend/distributed/shared_library_init.c > gucs.out sort -c gucs.out rm gucs.out