ubuntuでタイムラスプ動画作成

　ffmpegでできる。ただしインプットのファイル名に制限あり。

ffmpeg は連番のファイル名に対応していますが，1から始まる連番でないと受け付けてくれないのでファイル名を変更します．

インターバル撮影/インターバル撮影した静止画から動画作成 - matoken's wiki.

　HDR-AS100Vが作ったDSC00036.JPGから始まるファイル名では変換してくれなかったので、ファイル名を変更して実行、無事作成された。ただ、なんかの手違いで0001.jpgがなくなっていたのに動画を作成してくれたので、もう少し柔軟なのかも。

　10秒のインターバルはいかにも中途半端。