将文件名转换为整数

Question

所以我有：

01.JPG 02.JPG 3.JPG 4.JPG 05.jpg

并希望使用shell脚本或linux上的命令使它们全部像下面那样

1.JPG 2.JPG 3.JPG 4.JPG 5.JPG

Answer 1

如果系统上有rename命令，

rename "s/0(\\d+\\.jpg)/\$1/" *.jpg

Answer 2

for i in 0*.jpg; do
    mv $i ${i:1}
done

Answer 3

要从头开始删除任意个零，并防止碰撞：

for old in 0*.jpg; do
    new=$(echo ${old} | sed 's/^00*//')
    if [[ ! -f ${new} ]] ;then
        mv ${old} ${new}
    else
        echo "${old} conflicts with ${new}"
    fi
done

当然，rename是更好的选择。我只是为了完整性而包含这个，以防你在没有该工具的UNIX机器上运行。