web-dev-qa-db-fra.com

Comment convertir / modifier un fichier .mp4 en .gif dans Ubuntu 16.04?

Je voudrais faire ceci par défaut des outils et des scripts. La logique est simplement de prendre des photos de la vidéo et de les stocker au format .gif.

Édition

Faites Sudo apt-get install kazam pitivi openshot pour tester la vidéo. J'enregistre une vidéo et reçois

enter image description here

  • I Choisissez Edit with Pitivi, puis appuyez sur Continuer. Échoue. Bug ici à cause d'une dépendance python3/gst-python échouant.
  • Je choisis Edit with Openshot et appuie sur Continuer. L'interface graphique s'ouvre. Faites simplement glisser la vidéo vers le bas et ajoutez des coupes. Ça marche.
  • Avidemux n'est pas disponible dans apt-get. J'ai envoyé un e-mail sur le sujet au développeur d'Avidemux.

    enter image description here

Conversion et redimensionnement

Faites Sudo apt-get install ffmpeg pour l'outil de conversion.

Redimensionner Si .mp4, réduire l'échantillon de 50%

# http://askubuntu.com/questions/160869/need-to-downsample-video-to-a-lower-resolution
ffmpeg -i input.mp4 -vf scale=iw/2:-1 output.mp4

Convertir de .mp4 à .gif

ffmpeg -i ScreencastOfKazam.mp4 -pix_fmt rgb24 outputYes.gif

Redimensionner Si .gif, utilisez l'outil ezgif.com/resize car je ne pouvais pas trouver un one-liner pour cela. FAIRE

Système: Ubuntu 16.04 64 bits, Debian 8.5
Matériel: Macbook Air 2013-mi, Asus Zenbook UX303UA

Si, par "défaut", vous voulez utiliser un logiciel intégré, imprimez écran par écran, puis associez-les ensemble.

Dans GIMP, pour la partie Stich, vous devez ouvrir toutes les images en tant que calques, puis Filtres> Animation> Lecture ... et leur modifier les options dont vous avez besoin.

2
dadexix86