From d8fb25727700b594c02ac48df555049c65d4e4d8 Mon Sep 17 00:00:00 2001 From: "K.B.Dharun Krishna" Date: Thu, 21 Dec 2023 23:20:46 +0530 Subject: [PATCH] wrong-filename.sh: update output filename Co-authored-by: Sebastiaan Speck <12570668+sebastiaanspeck@users.noreply.github.com> --- scripts/wrong-filename.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/scripts/wrong-filename.sh b/scripts/wrong-filename.sh index 84e386b0e..11bbd088b 100755 --- a/scripts/wrong-filename.sh +++ b/scripts/wrong-filename.sh @@ -5,7 +5,7 @@ # Usage: ./scripts/wrong-filename.sh # Output file for recording inconsistencies -OUTPUT_FILE="filename-consistency-check-output.txt" +OUTPUT_FILE="inconsistent-filenames.txt" # Remove existing output file (if any) rm -f "$OUTPUT_FILE"