linux - 在Linux中修改多个文件名的快速方法

我有文件:

1.pgm ... 400.pgm从1到400的连续数字都采用相同格式。

我想将它们复制到:

401.pgm ... 800.pgm，这基本上是因为我需要更多的输入数据

我想知道在Linux中是否有任何快速的方法？

最佳答案

如果您的文件具有此结构，则只需:

for file in *.pgm ; do
   num=${file%%.pgm}
   newnum=$(( $num + 400 ))  #more portable than 'let', thx to @user2719058 for the reminder!
   echo mv "${file}" "${newnum}.pgm"
done

当您确定这可以满足您的要求后，取出echo ...

关于linux - 在Linux中修改多个文件名的快速方法，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/20383372/