次のように、一連のYYYY-MM-DD
日付付きファイルを含むディレクトリがあります。
pictures/
2010-08-14.png
2010-08-17.png
2010-08-18.png
Python GStreamer を使用してこれらのファイルをビデオに変換するにはどうすればよいですか? ファイル名は同じままにする必要があります。
増分番号付きの PNG をビデオに変換できるプログラムがありますが、代わりに日付付きファイルを使用するように適応させる必要があります。