ファイル名の数字を固定長でパッド

ファイル名の数字を固定長でパッド

次のファイルディレクトリがあります。

file.1.png
file.2.png
file.10.png
file.1000.png
file.1001.png

数字を4桁で埋める方法は?次のようにしてください。

file.0001.png
file.0002.png
file.0010.png
file.1000.png
file.1001.png

ベストアンサー1

これはまた働きます:

for f in *.png; do
    int=`basename $f .png | cut -d '.' -f 2`
    new_name=`printf "file.%0.4i.png\n" $int`
    [ ! -f $new_name ] && mv $f $new_name
done

おすすめ記事