Site icon JusteGeek

TTYGIF : enregistrer une session terminal dans un gif

Il y a quelques jours, je présentais TermRecord, un petit outil en python qui permet de capturer une session terminal pour l'enregistrer dans un fichier HTML. Et bien je vais rester dans le même domaine en présentant aujourd'hui TTYGIF, un outil qui permet, quant à lui, d'enregistrer une session terminal dans un fichier gif. Une fonction qui peut être bien pratique pour illustrer facilement un tuto ! 

Le projet est disponible sur Github. Cet outil fonctionne à la fois sous Linux, et sous OSX. Voici donc une petite procédure pour l'installation et l'utilisation de l'outil sous les deux systèmes.

 

Installation de TTYGIF

Il faut tout d'abord installer les prérequis :

sudo apt-get install imagemagick ttyrec gcc

Puis ensuite, on récupère ttygif depuis Github :

git clone https://github.com/icholy/ttygif.git

cd ttygif

make

 

Là aussi, on installe d'abord les prérequis :

sudo yum install ImageMagick gcc

Puis ensuite, on récupère ttygif depuis Github, de la même façon que précédemment :

git clone https://github.com/icholy/ttygif.git

cd ttygif

make

 

Là aussi on installe d'abord les prérequis :

brew install imagemagick ttyrec

et ensuite, on procède de la même façon :

git clone https://github.com/icholy/ttygif.git

cd ttygif

make

 

Utilisation de TTYGIF

Maintenant que TTYGIF est installé, il convient de voir comment il fonctionne. Vous aller voir, c'est assez simple. L'enregistrement d'une session terminal en fichier gif va nécessiter 3 étapes :  l'enregistrement de la session avec ttyrec, la création des images, et enfin la création du gif.

 

Pour enregistrer une session avec ttyrec, il suffit d'entrer la commande suivante, où record correspond au nom donné à l'enregistrement :

ttyrec record

Pour arrêter l'enregistrement, il faut taper exit, ou bien utiliser la combinaison de touches Ctrl+D.

 

Il convient ensuite de créer les images à partir de l'enregistrement :

./ttygif record

 

Enfin, on assemble les images pour créer le gif :

./concat.sh record.gif

La commande va alors concaténer toutes les images contenues dans le dossier pour en former un fichier gif nommé record.gif.

Voici un petit exemple de ce que cela donne :

 

Si vous connaissez d'autres outils du même genre, n'hésitez pas à nous en faire part. 🙂

 

Quitter la version mobile