[FFmpeg-user] For single images, could use a generic ASCII order

[Alan Corey]

On 2/13/17, Carl Eugen Hoyos <ceffmpeg at gmail.com> wrote:
> 2017-02-14 0:09 GMT+01:00 Alan Corey <alan01346 at gmail.com>:
>
>> This kind of sequence doesn't work:
>> 2017-02-12_01-30.005.gif
>> 2017-02-12_01-30.006.gif
>> 2017-02-12_01-30.007.gif
>> 2017-02-12_02-00.005.gif
>> 2017-02-12_02-00.006.gif
>> 2017-02-12_02-00.007.gif
>
> This does not work with gif (they are not "images" in the
> FFmpeg sense), you have to first convert them into
> another format (png).

Oh great, another step.  Well as an animated GIF they're just too big.
I set up a cron job and grabbed a storm's NWS animated GIFs, split
them apart with Gifsicle and now I want to make about 2 days worth of
radar pictures into a 30 second or so video.  Convert to the rescue I
guess.  So I have a lot of renaming ahead anyway.  Rectangle mode in
the Joe editor makes turning ls output into mass renaming scripts
fairly easy.

But my point was the way ffmpeg handles file names, it would be nice
to have a way to ignore numbers in them.  The last problem I had with
it was with PNG files from Povray, each had a sequence number followed
by a frame number.  ls put them in the right order, ffmpeg needed them
to be renamed.