Преобразование ненумерованных изображений в видео с помощью avconv

Question

У меня есть много фотографий, из которых я хочу снять фильм. Проблема в том, что они не следуют обычному порядку номеров. Они пришли с камеры моего смартфона, но некоторые были захвачены в ту же секунду, поэтому их имена (например):

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

Я думаю, что я должен сделать что-то вроде

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

но я не могу использовать 20180708_%06d.jpg , потому что третий файл выше будет проигнорирован. Я пытался с помощью

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

но он говорит, что второй файл в списке уже существует, спрашивая меня, хочу ли я перезаписать его.

Что я должен делать?

РЕДАКТИРОВАТЬ: я использую Linux Debian 9 (Stretch) 64-разрядных.

Answer 1

Я создал bash-скрипт для числового переименования всех файлов (отсюда).

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

Тогда я мог бы подать заявку

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