Standardize posts' file name in tool scripts.

cotes2020 · cotes2020 · commit dacda247b1ca · 2020-08-11T05:53:00.000+08:00
diff --git a/_scripts/sh/dump_lastmod.sh b/_scripts/sh/dump_lastmod.sh
@@ -76,7 +76,7 @@ main() {
 
   for _file in $(find ${POST_DIR} -type f \( -iname \*.md -o -iname \*.markdown \))
   do
-    _filename=$(basename $_file | sed 's/[0-9]\([0-9]*-\)//g;s/\..*//' ) # remove date and extension
+    _filename=$(basename $_file | sed 's/-\-\+/-/;s/[[:digit:]]\([[:digit:]]*-\)//g;s/\..*//' ) # remove date and extension
 
     if _has_changed "$_file"; then
       _dump "$_filename" "$_file"
