Bagaimana saya bisa mengganti nama urutan file tanpa front zero padding sehingga mereka dapat memiliki front zero padding?

Saya memiliki urutan file:

file0.png, file1.png, ..., file10.png,... file100.png, ..., file1000.png, file1001.png, ..., file10000.png

Saya ingin membuat video dengan ffmpeg,

ffmpeg -framerate 30 -pattern_type glob -i '*.png' -c:v libx264 out.mp4

Konvensi nama mengarah ke urutan yang salah dari file yang dibaca dalam input. Bagaimana saya bisa memecahkan masalah ini?

solusi yang disebut "Bagaimana cara saya mengubah nama banyak file di Command Prompt?" tidak bekerja!

Karena archlinux memiliki beberapa masalah dengan util rename, saya boot pada Ubuntu langsung, dan melakukan rename.

rename 's/\d+/sprintf("%05d", $&)/e' *.png  

Inilah yang dilakukan toto untuk mengubah nama urutan file.

Awalnya saya melihat ffmpegdokumen untuk melihat apakah nama file input dapat ditentukan dalam file sendiri, di mana Anda bisa mengurutkannya sesuka Anda. Tetapi dokumentasi tidak jelas memiliki opsi seperti itu. Saya bisa saja salah, dan itu akan menjadi rekomendasi saya jika Anda memperhatikan opsi seperti itu.

Jadi alih-alih, Anda harus mengganti nama file Anda untuk input sesuai urutan yang Anda inginkan. Aku akan menganggap Anda menggunakan shell bash, file-file tersebut di direktori yang sama, semua bernama file1.pnguntuk file10000.pngdan Anda lebih memilih untuk memiliki mereka bernama file00001.pngke file10000.png.

#!/bin/bash
for f in file*.png
do
  printf -v n "file%05d.png" "${f:4:-4}"
  mv "$f" "$n"
done

Pada satu baris sebagai:
for f in file*.png; do printf -v n "file%05d.png" "${f:4:-4}"; mv "$f" "$n"; done

atau mungkin hanya:

#!/bin/bash
for (( i=0; i<10000; i++ ))
do
  printf -v n "%05d" $i
  mv "file$i.png" "file$n.png"
done

Pada satu baris sebagai:
for (( i=0; i<10000; i++ )); do printf -v n "%05d" $i; mv "file$i.png" "file$n.png"; done;

Saya tidak yakin mana yang lebih cepat, tetapi saya kira yang kedua adalah.