次のファイルディレクトリがあります。
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