我是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