Conversione di immagini non numerate in video con avconv

Ho molte foto da cui voglio fare un film. Il problema è che non seguono un normale ordine numerico. Sono venuti dalla mia fotocamera dello smartphone, ma alcuni sono stati catturati nello stesso secondo, quindi i loro nomi sono (ad esempio):

20180708_173141.jpg
20180708_173142.jpg
20180708_173142(0).jpg
20180708_173143.jpg
20180708_173145.jpg

Penso che dovrei fare qualcosa del genere

avconv -r 10 -i 20180708_%06d.jpg test.avi

ma non posso usarlo 20180708_%06d.jpg, perché il terzo file sopra verrebbe ignorato. Ho provato a usare

avconv -r 10 -i 20180708*.jpg test.avi

ma dice che il secondo file nell'elenco esiste già, chiedendomi se voglio sovrascriverlo.

Cosa dovrei fare?

EDIT: sto usando Linux Debian 9 (Stretch) a 64 bit.

libav

— Rodrigo
fonte

In Windows, basta fare una copia (mettere gli originali in un posto sicuro) di tutti i file, selezionarli nell'ordine desiderato e in Esplora risorse selezionare Rinomina . Se lasci vuoto il campo originale, verranno chiamati (1) .jpg, (2) .jpg ecc. Vedi howtogeek.com/111859/…

— DrMoishe Pippik

@DrMoishePippik Siamo spiacenti, ho dimenticato di menzionare che sto usando Linux, ho modificato la domanda per risolvere questo problema. La tua soluzione creerà file con un numero variabile di cifre, (1), (2) ... (9), (10), (11) ... (99), (100), (101) ... Penso che avconvavrà ancora problemi con questo.

— Rodrigo,

A proposito, il programma di Windows IrfanView (che funziona bene nel vino ... è uno dei pochissimi eseguibili di Windows che uso su Linux) ha una ridenominazione batch che può specificare un formato a lunghezza fissa come 0001.jpg, 0002.jpg ecc.

— DrMoishe Pippik,

@DrMoishePippik Grazie. Ieri ho finito per creare uno script bash. Vedi la risposta che ho pubblicato.

— Rodrigo,

Ho creato uno script bash per rinominare tutti i file numericamente ( da qui ).

EII=1
for i in $(ls *.jpg)
do
  NEWNAME=IMG_`printf "%3d" $EII`.JPG
  mv $i $NEWNAME
  EII=`expr $EII + 1`
done

Allora potrei fare domanda

avconv -r 10 -i IMG_%3d.jpg test.avi

— Rodrigo
fonte

Rimane ancora una domanda: se avessi bisogno di cambiare la posizione di alcune immagini, diciamo, spostare lo 030 tra 040 e 041, potrei rinominarlo in 040a, ma come lo avconvtratterei? O dovrei rinominare tutti i file tra 030 e 040, in modo che l'immagine spostata possa adattarsi al suo posto? Non riesco davvero a usare i caratteri jolly come *?

— Rodrigo,