死了很简单。
我如何重命名
05_h.png
06_h.png
至
05_half.png
06_half.png
至少,我认为这很简单,但是除非您已经知道,否则Google很难做到这一点。
谢谢....
只需使用bash,无需调用外部命令。
for file in *_h.png
do
mv "$file" "${file/_h.png/_half.png}"
done
不加 #!/bin/sh
对于那些需要一线的人:
for file in *.png; do mv "$file" "${file/_h.png/_half.png}"; done
本文收集自互联网,转载请注明来源。
如有侵权,请联系 [email protected] 删除。
我来说两句