Hallo, wie oben schon steht, suche ich ein Programm, das .gif-Videos in MP4 oder andere gängige Videoformate umwandeln kann.
Gif zu MP4
Antworten |
Anmeldungsdatum: Beiträge: 33 |
|
||
Anmeldungsdatum: Beiträge: 5269 Wohnort: /dev/null |
Das macht keinen Sinn ☹ |
||
![]() Anmeldungsdatum: Beiträge: 19197 |
Peace. Das es sinnlos ist sowas zu machen ist klar, wer aber trotzdem will: convert test.gif gif%05d.png ffmpeg -r 5 -i gif%05d.png -y -an gif.mp4 |
||
Anmeldungsdatum: Beiträge: 34254 |
Ich habe kürzlich mit Videobearbeitungsprogrammen herumgespielt. Wenn ich mich recht entsinne, ist es LiVES, was beim Einlesen von Videos erschreckenderweise die zerhackstückelt als tausende .png-Files oder wahlweise .jpg-Files temporär ablegt, um daraus später wieder Videos zusammenzukleben (ich schätze, mit avconv). Videos sind schließlich auch nur aneinander gereihte Einzelbilder. Daumenkino und so. 😉
Vielleicht will er ja dazu auf einem alten Klavier klimpern. 😀
Das Wort, das .mp4-File ist in meinem Beispiel nur 1/30 des .gif-Files. Es muß also nicht größer sein, im Gegenteil. 😉 |
||
![]() Anmeldungsdatum: Beiträge: 19197 |
Achso das wollte ich noch schreiben, jeh höher die Zahl hinter -r, desto schneller läuft das Video → experimentieren. Und wenn ffmpeg nicht installiert ist, dann einfach durch avconv ersetzen. |
||
Anmeldungsdatum: Beiträge: 34254 |
Na, selbst, wenn man nicht
ausführt (und eine erschlagende Anzahl an Optionen erhält), kann man sich das in der kurzen Befehlszeile doch ausmahlen. 😉 Ich hab' mein Test-Animgif in Gimp geladen. Dort wird aufgeführt, wieviele Pix jeweils wie lange angezeigt werden sollen. In meinem Fall sind das 55 einzelne gif-Files mit je 60 ms, macht 3,3 s, ergibt eine ungefähre fps-Rate von 17. Übrigens muß man nicht nach .png umwandeln (möglicher Qualitätsverlust), es reicht, die einzelnen gifs mit sinnvollerweise geändertem Namen zu zerpflücken.
Die Meldung, ffmpeg sei deprecated und durch avconv ersetzt worden, kommt ja automatisch. |
||
![]() Anmeldungsdatum: Beiträge: 19197 |