diff --git a/pages/linux/urpmi-addmedia.md b/pages/linux/urpmi.addmedia.md similarity index 100% rename from pages/linux/urpmi-addmedia.md rename to pages/linux/urpmi.addmedia.md diff --git a/pages/linux/urpmi-removemedia.md b/pages/linux/urpmi.removemedia.md similarity index 100% rename from pages/linux/urpmi-removemedia.md rename to pages/linux/urpmi.removemedia.md diff --git a/pages/linux/urpmi-update.md b/pages/linux/urpmi.update.md similarity index 100% rename from pages/linux/urpmi-update.md rename to pages/linux/urpmi.update.md diff --git a/scripts/wrong-filename.sh b/scripts/wrong-filename.sh index 45f4d99b1f..2ab47dd5d0 100755 --- a/scripts/wrong-filename.sh +++ b/scripts/wrong-filename.sh @@ -8,8 +8,9 @@ OUTPUT_FILE="inconsistent-filenames.txt" # Remove existing output file (if any) rm -f "$OUTPUT_FILE" +touch "$OUTPUT_FILE" -IGNORE_LIST=("exclamation mark" "caret") +IGNORE_LIST=("exclamation mark" "caret" "history expansion" "qm move disk" "umount" "rename") set -e