我有一些名为 A1.txt A2.txt ... A11.txt A12.txt 等的文件。我想将它们重命名为 A0001.txt A0002.txt ... A0011.txt 等。我这样做对吗?
for file in A*.txt do mv ${file} ${file/-#.txt-/-"%5d".txt} done
osx bash shell-script rename
bash ×1
osx ×1
rename ×1
shell-script ×1