pacman-r: add alias page; pacman-remove: update page (#14807)

This commit is contained in:
Angad Singh Grover
2024-11-16 20:11:41 +08:00
committed by GitHub
parent dc01fda3f4
commit f708b92311
3 changed files with 22 additions and 15 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 s")
IGNORE_LIST=("exclamation mark" "caret" "dollar sign" "tilde" "history expansion" "qm move disk" "umount" "rename" "pacman r" "pacman s")
set -e