Converti gif animati in mp4

Puoi usare due programmi, il comando convert di Imagemagick e ffmpeg , per fare ciò.

convert -coalesce animation.gif frames%04d.png

Quindi converti le stringhe in un film:

ffmpeg -r 10 -i frames%04d.png -vcodec mjpeg -y movie.mp4

Per una GUI, non ti darebbe molta convenienza, ma so che QuickTime Pro (potresti avere la vecchia versione) convertirà una serie di immagini sequenziali in un'animazione. Non so se leggerà correttamente la GIF.

Modifica: vedi @ la risposta di Henry per un altro codec che usa h264.

La la risposta di Beroe è stata davvero utile, ma ho scoperto che quando ho creato mp4s usando il suo metodo non ha funzionato su QT o iMovie su El Capitan. Ho fatto un po 'di scavo e ho letto i log di codifica e sono incappato in questa soluzione, sembra funzionare con QT e iMovie:

ffmpeg -r 10 -i frames%04d.jpg -vcodec h264 -y -pix_fmt yuv420p movie.mp4

Nonostante utilizzi Mavericks, mantengo ancora Quicktime 7 Pro Player sul mio disco. Va bene per visualizzare GIF animate ed esportarle in altri formati.

aggiunto

Richiede Quicktime 7 (installazione opzionale o conservalo nelle tue applicazioni quando installi nuove versioni del sistema operativo). Richiede la chiave di aggiornamento "Pro" a pagamento, versione Quicktime 7 disponibile dal 2005 o giù di lì.

Apri il file GIF con Quicktime Player 7. (Trascina l'icona GIF sull'icona Player oppure fai clic con il pulsante destro sull'icona GIF e scegli Quicktime Player 7 in "Apri con" oppure avvia Quicktime Player 7, quindi usa Open File... nel menu File )

Gioca per assicurarti che funzioni. Puoi utilizzare i tasti freccia sinistra e destra per andare avanti o indietro di un fotogramma alla volta.

Window > Show Movie Inspector (o ⌘-I ). Annota la "Dimensione normale", 270 x 600 o qualsiasi cosa sia

File>Export(o⌘-E)

NelmenuExport:scegliMovietoMPEG-4(oqualchealtroformatoselodesideri)

Utilizza il pulsante Opzioni per controllare alcune caratteristiche del file MP4. In particolare, imposta la dimensione dell'immagine (se la dimensione che hai annotato non è nel menu, scegli Custom e scrivi in). Prova a formattare MPEG-4 Improved . Fai clic su OK quando hai finito con le opzioni.

Seleziona la destinazione e il nome file per il file MP4

Fai clic su Save