awk - 更改文件名的脚本

Question

我是 awk 和基于 shell 的编程的新手。我有一堆文件名 file_0001.dat , file_0002.dat......file_1000.dat .我想更改文件名，例如 file_ 之后的数字与以前的文件名相比将是 4 的倍数。所以我想改变

file_0001.dat to file_0004.dat
file_0002.dat to file_0008.dat 

等等。

任何人都可以建议一个简单的脚本来做到这一点。我尝试了以下但没有任何成功。

#!/bin/bash
a=$(echo $1 sed -e 's:file_::g' -e 's:.dat::g')
b=$(echo "${a}*4" | bc)
shuf file_${a}.dat > file_${b}.dat

Answer 1

这个脚本会为你做这个把戏:

#!/bin/bash
for i in `ls -r *.dat`; do
    a=`echo $i | sed 's/file_//g' | sed 's/\.dat//g'`
    almost_b=`bc -l <<< "$a*4"`
    b=`printf "%04d" $almost_b`
    rename "s/$a/$b/g" $i
done

之前的文件:

file_0001.dat file_0002.dat

第一次执行后的文件:

file_0004.dat file_0008.dat

第二次执行后的文件:

file_0016.dat file_0032.dat