From c56d61f8d6402bf037ca9ddecef0959ccbcc00f4 Mon Sep 17 00:00:00 2001 From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> Date: Thu, 14 Nov 2024 03:17:54 +0100 Subject: [PATCH] wrong-filename: add `"pacman s"` to ignore list (#14802) --- 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 48b35fd0e1..7ed977d870 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=("exclamation mark" "caret" "dollar sign" "tilde" "history expansion" "qm move disk" "umount" "rename") +IGNORE_LIST=("exclamation mark" "caret" "dollar sign" "tilde" "history expansion" "qm move disk" "umount" "rename" "pacman s") set -e