From fa91c0c28267717f45d1fd7bdbd8d753cc43acb3 Mon Sep 17 00:00:00 2001
From: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com>
Date: Mon, 27 May 2024 19:38:56 +0200
Subject: [PATCH] scripts/wrong-filename: resolve wrong filenames (#12844)

---
 pages/linux/{urpmi-addmedia.md => urpmi.addmedia.md}       | 0
 pages/linux/{urpmi-removemedia.md => urpmi.removemedia.md} | 0
 pages/linux/{urpmi-update.md => urpmi.update.md}           | 0
 scripts/wrong-filename.sh                                  | 3 ++-
 4 files changed, 2 insertions(+), 1 deletion(-)
 rename pages/linux/{urpmi-addmedia.md => urpmi.addmedia.md} (100%)
 rename pages/linux/{urpmi-removemedia.md => urpmi.removemedia.md} (100%)
 rename pages/linux/{urpmi-update.md => urpmi.update.md} (100%)

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