I have many pictures which I want to make a movie from. The problem is that they don't follow a regular numeric order. They came from my smartphone camera, but some were captured in the same second, so their names are (for instance):
20180708_173141.jpg 20180708_173142.jpg 20180708_173142(0).jpg 20180708_173143.jpg 20180708_173145.jpg
I think I should do something like
avconv -r 10 -i 20180708_%06d.jpg test.avi
but I can't use
20180708_%06d.jpg, because the third file above would be ignored. I tried using
avconv -r 10 -i 20180708*.jpg test.avi
but it says the second file on the list already exists, asking me if I want to overwrite it.
What should I do?
EDIT: I'm using Linux Debian 9 (Stretch) 64-bit.