增加多个文件名Bash中的数字

Question

我在一个名为

的文件夹中有许多文件

picture20.mp4
picture21.mp4
picture100.mp4
picture115.mp4

e.t.c 我想将每个名字中显示的数字增加3，以便我有

picture23.mp4
picture24.mp4
picture103.mp4
picture118.mp4

我已尝试使用rename命令，并尝试使用basename编写一个bash脚本来提取数字，但我的所有尝试都没有所需的输出。我该怎么办？

Answer 1

您可以使用：

for f in picture*.mp4; do
   n="${f/picture}"
   n="${n%.*}"; ((n+=3))
   echo mv "$f" "picture$n.mp4";
done
mv picture20.mp4 picture23.mp4
mv picture21.mp4 picture24.mp4

如果您满意，只需从上面的命令中删除echo。