pacman-f: add alias page; pacman-files: update page (#14858)

This commit is contained in:
Angad Singh Grover
2024-11-30 09:49:04 +08:00
committed by GitHub
parent b70772cd22
commit a75d875fa6
3 changed files with 18 additions and 11 deletions

View File

@@ -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" "pacman r" "pacman s")
IGNORE_LIST=("exclamation mark" "caret" "dollar sign" "tilde" "history expansion" "qm move disk" "umount" "rename" "pacman f" "pacman r" "pacman s")
set -e