MP4 in GIF
Um aus einem Video ein GIF zu machen, ziehst du es, tippst auf Shift und legst es auf dem GIF-Planeten ab (er heißt Make a GIF). PlanetOS speichert ein animiertes GIF neben dem Video.
So konvertierst du MP4 in GIF
- 1
Zieh die MP4-Datei vom Schreibtisch oder aus einem beliebigen Ordner.
- 2
Während du sie noch hältst, tippst du kurz auf Shift. Um die Datei öffnet sich ein Ring aus Planeten, einer für jedes Format, in das sie sich umwandeln lässt.
- 3
Lass die Datei auf dem GIF-Planeten fallen. Kurz darauf liegt die GIF-Kopie neben dem Original.

Halt es kurz
PlanetOS erstellt das GIF aus den ersten 15 Sekunden des Videos, mit 12 Bildern pro Sekunde und höchstens 480 Pixeln Breite. So bleibt die Datei klein genug zum Teilen, denn ein GIF speichert jedes Bild als vollständiges Bild. Soll es woanders beginnen, kürze den Clip vorher.
Viele Apps (Slack, Discord, iMessage, die meisten Websites) spielen kurze MP4s ebenfalls in Schleife, und ein MP4 ist nur ein Zehntel so groß. GIF ist trotzdem die sicherste Wahl, wenn du nicht weißt, wo es landet. Eine ausführliche Anleitung: So machst du ein GIF aus einem Video.
PlanetOS erledigt all das auf deinem Computer. Deine Dateien werden nie hochgeladen, und es funktioniert auch ohne Internetverbindung.
Fragen
Funktioniert das mit MOV und anderen Formaten?
Ja, mit jedem Video, das PlanetOS öffnen kann.
Kann ich ein GIF wieder in ein Video verwandeln?
Ja, siehe GIF in MP4.