From ff0dcb266bd3a0cb12e7c3679e4fa77a4b355739 Mon Sep 17 00:00:00 2001 From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> Date: Sat, 3 May 2025 07:50:17 +0200 Subject: [PATCH] scripts/wrong-filename.sh: add jc.json as exception --- scripts/wrong-filename.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/wrong-filename.sh b/scripts/wrong-filename.sh index d38a10eb0c..0356850646 100755 --- a/scripts/wrong-filename.sh +++ b/scripts/wrong-filename.sh @@ -10,7 +10,7 @@ OUTPUT_FILE="inconsistent-filenames.txt" rm -f "$OUTPUT_FILE" touch "$OUTPUT_FILE" -IGNORE_LIST=("caret" "comma" "curly brace" "dollar sign" "dot" "exclamation mark" "tilde" "percent sign" "qm move disk" "umount" "rename" "pacman d" "pacman f" "pacman q" "pacman r" "pacman s" "pacman t" "pacman u" "parted" "print.runmailcap" "print.win") +IGNORE_LIST=("caret" "comma" "curly brace" "dollar sign" "dot" "exclamation mark" "jc.json" "tilde" "percent sign" "qm move disk" "umount" "rename" "pacman d" "pacman f" "pacman q" "pacman r" "pacman s" "pacman t" "pacman u" "parted" "print.runmailcap" "print.win") set -e