From 744aee3387fbc9949f487db874af23b990eb8c60 Mon Sep 17 00:00:00 2001 From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> Date: Wed, 19 Feb 2025 18:31:18 +0100 Subject: [PATCH] wrong-filename: add dot --- 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 800a8d157b..db88c83758 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" "percent sign" "curly brace" "history expansion" "qm move disk" "umount" "rename" "pacman d" "pacman f" "pacman q" "pacman r" "pacman s" "pacman t" "pacman u" "parted") +IGNORE_LIST=("caret" "curly brace" "dollar sign" "dot" "exclamation mark" "tilde" "percent sign" "history expansion" "qm move disk" "umount" "rename" "pacman d" "pacman f" "pacman q" "pacman r" "pacman s" "pacman t" "pacman u" "parted") set -e