1
0
Fork 0
mirror of https://github.com/tldr-pages/tldr.git synced 2025-08-29 17:33:46 +02:00

wrong-filename: add/remove (and order) filenames (#17793)

This commit is contained in:
Sebastiaan Speck 2025-08-24 18:14:14 +02:00 committed by GitHub
parent f3417d2470
commit a1f2dff8ff
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -10,7 +10,7 @@ OUTPUT_FILE="inconsistent-filenames.txt"
rm -f "$OUTPUT_FILE"
touch "$OUTPUT_FILE"
IGNORE_LIST=("jc.json" "mc.cli" "mc.fm" "qm move disk" "umount" "rename" "pacman d" "pacman f" "pacman q" "pacman r" "pacman s" "pacman t" "pacman u" "parted" "print.runmailcap" "print.win" "python m json.tool")
IGNORE_LIST=("jc.json" "lid.libuser" "mc.cli" "mc.fm" "pacman d" "pacman f" "pacman q" "pacman r" "pacman s" "pacman t" "pacman u" "parted" "print.runmailcap" "print.win" "python m json.tool" "snap.esa" "snap.pkg")
set -e