我有一个包含约1,700个文件的文件夹。他们都被命名为1.txt
或1497.txt
等。我想重命名所有文件,以便所有文件名都是四位数字。Linux shell脚本将前导零添加到文件名
即,23.txt
变成0023.txt
。
什么是将执行此操作的shell脚本?或者一个相关的问题:我如何使用grep来匹配只包含\d.txt
的行(即一个数字,然后是句点,然后是字母txt
)?
这是我到目前为止有:
for a in [command i need help with]
do
mv $a 000$a
done
基本上,运行三次,命令那里找一个数字,两个数字,三位数字的文件名(与初始零的数量改变)。
你应该用你使用[bash脚本的 – meagar 2010-09-08 22:17:07
可能的复制壳标签这个来填充文件名](http://stackoverflow.com/questions/55754/bash-script-to-pad-file-names) – 2015-10-01 07:41:38
@CiroSantilli,顺便说一句,我最近有人推迟了一个被关闭的重复作为填充前导数字的逻辑以及稍后在名称中填充填充数字的逻辑有所不同。 (因此,https://stackoverflow.com/questions/46993470/padding-filenames-with-zeros-in-bash目前标记了这个答案的愚蠢,*而不是*那个愚蠢的)。 – 2017-10-28 20:04:48