用另外一个不得已的办法解决了，在macos下，将需要改名的文件，放到一个目录下，比
如download，然后在终端中运行：

cd ~/Downloads && for file in mmexport*; do [ -f "$file" ] && fn="${file%.*}
" && ext="${file##*.}" && ts="${fn#mmexport}" && ts="${ts:0:10}" && newname=
$(date -r "$ts" +"%Y%m%d %H%M%S")."$ext" && mv -n "$file" "$newname"; done

至于为何是macos，是因为我的totalcommander是运行在parallel desktop里的，也算是
一个勉强能解决问题的办法。



【 在 mthpe 的大作中提到: 】
: wsl完美解决，感谢 @happyTC @HANNING 两位大佬带来的灵感
--
FROM 123.112.67.*