diff options
Diffstat (limited to 'ci/check/profiles')
| -rwxr-xr-x | ci/check/profiles/sort-firecfg.config.sh | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/ci/check/profiles/sort-firecfg.config.sh b/ci/check/profiles/sort-firecfg.config.sh index 17a595350..dbfbf24f5 100755 --- a/ci/check/profiles/sort-firecfg.config.sh +++ b/ci/check/profiles/sort-firecfg.config.sh | |||
| @@ -1,2 +1,5 @@ | |||
| 1 | #!/bin/sh | 1 | #!/bin/sh |
| 2 | tail -n +4 "$1" | sed 's/^# /#/' | LC_ALL=C sort -c -d | 2 | # See ../../../src/firecfg/firecfg.config |
| 3 | |||
| 4 | sed -E -e '/^#$/d' -e '/^# /d' -e 's/^#([^ ])/\1/' "$1" | | ||
| 5 | LC_ALL=C sort -c -u | ||