fix(user/mp4_make_480.sh):Make extension replacement case insensitive

diff --git a/user/mp4_make_480.sh b/user/mp4_make_480.sh
index 8652f1c1e8f1199a748f6b4364ab5c9bab9ce87c..45760e2bff18e0382f5f3aeb8b0e0443de78da7a 100755 (executable)
--- a/user/mp4_make_480.sh
+++ b/user/mp4_make_480.sh
@@ -5,7 +5,7 @@
 #        arg2  dir  output dir (optional)
 # Output: dir   ./out/
 #         file  ./out/[files]_480.mp4
-# Version: 0.1.3
+# Version: 0.1.4
 # Depends: GNU parallel 20161222, ffmpeg 4.3.6-0
 # Ref/Attrb: [1]: FFmpeg wiki: https://trac.ffmpeg.org/wiki/Scaling
 declare -g dir_in dir_out;
@@ -31,7 +31,7 @@ job_ffmpeg() {
     path_in="$1";
     path_out="$2";
     file_in="$(basename "$path_in")";
-    path_out=./"$dir_out"/"${file_in%.mp4}"_480.mp4;
+    path_out=./"$dir_out"/"${file_in%.[mM][pP]4}"_480.mp4;
     opt_scale="scale=-2:480";  # See [1]
     declare -p path_in path_out file_in dir_out path_out opt_scale;
     ffmpeg -nostdin -i "$path_in" -vf "$opt_scale" "$path_out";