This question already has an answer here:
How can I convert many images into a movie?
I have about 12000 images, and I want to create a movie based on the timestamps of the images. The timestamp is also the filename. I tried using
convert but it crashes my PC when I try to do it. What is a good command-line way to solve this problem?