Comment enregistrer votre session terminal sur Linux

Enregistrer une session terminal peut être important pour aider quelqu’un à apprendre un processus, partager des informations de manière compréhensible, et aussi présenter une série de commandes de manière appropriée. Quel que soit le but, il y a de nombreuses fois où copier-coller du texte depuis le terminal ne sera pas très utile, tandis que capturer une vidéo du processus est assez farfelu et peut ne pas toujours être possible. Dans ce guide rapide, nous allons examiner la manière la plus simple d’enregistrer et de partager une session terminal au format .gif.

Prérequis

Si vous souhaitez simplement enregistrer vos sessions terminal et pouvoir lire l’enregistrement dans votre terminal, ou les partager avec des personnes qui utiliseront un terminal pour la lecture, alors l’outil dont vous aurez besoin s’appelle “ttyrec”. Les utilisateurs d’Ubuntu peuvent l’installer en insérant la commande suivante dans un terminal :

sudo apt-get install ttyrec

Si vous souhaitez produire un fichier .gif à partir de l’enregistrement et pouvoir le partager avec des personnes qui n’utilisent pas le terminal, le publier sur des sites web, ou simplement garder un .gif à portée de main pour quand vous en aurez besoin au lieu de commandes écrites, vous devrez installer deux paquets supplémentaires. Le premier est “imagemagick” que vous pouvez installer avec :

sudo apt-get install imagemagick

et le deuxième est “tty2gif” qui peut être téléchargé ici. Ce dernier a une dépendance qui peut être satisfaite avec :

sudo apt-get install python-opster

Capture

Pour commencer à capturer la session terminal, il vous suffit de commencer par “ttyrec” + entrer. Cela lancera l’outil d’enregistrement en temps réel qui fonctionnera en arrière-plan jusqu’à ce que nous entrions “exit” ou que nous pressions “Ctrl+D”. Par défaut, ttyrec crée un fichier nommé “ttyrecord” à l’emplacement de la session terminal qui par défaut est “Home”.

Lecture

Lire le fichier est aussi simple qu’ouvrir un terminal à l’emplacement du fichier “ttyrecord” et utiliser la commande “ttyplay” suivie du nom de l’enregistrement (dans notre cas c’est ttyrecord mais vous pouvez le changer en ce que vous voulez).

Cela entraînera la lecture de la session enregistrée, en temps réel, et avec les corrections de frappe incluses (toutes les actions sont enregistrées). Cela ressemblera à une session terminal automatisée complètement normale, mais les commandes et leur exécution apparente ne sont évidemment pas réellement appliquées au système, car elles ne sont que reproduites en tant qu’enregistrement.

Il est également important de noter que la lecture de l’enregistrement de la session terminal est complètement contrôlable. Vous pouvez doubler la vitesse de lecture en appuyant sur le bouton “+”, ralentir avec le bouton “-“, mettre en pause avec “0”, et reprendre à vitesse normale avec “1”.

Conversion en .gif

Pour des raisons de commodité, beaucoup d’entre nous souhaiteraient convertir la session enregistrée en fichier .gif, et c’est très facile à faire. Voici comment :

Tout d’abord, décompressez le “tty2gif.tar.bz2” téléchargé en ouvrant un terminal dans l’emplacement de téléchargement et en entrant la commande suivante :

tar xvfj tty2gif.tar.bz2

Ensuite, copiez le fichier “tty2gif.py” résultant à l’emplacement du fichier “ttyrecord” (ou quel que soit le nom que vous avez spécifié), puis ouvrez un terminal à cet emplacement et tapez la commande :

python tty2gif.py typing ttyrecord

Si vous rencontrez des erreurs à cette étape, vérifiez que vous avez installé le paquet “python-opster”. Si les erreurs persistent, donnez les deux commandes suivantes consécutivement :

sudo apt-get install xdotool export WINDOWID=$(xdotool getwindowfocus)

puis répétez “python tty2gif.py typing ttyrecord” et vous devriez maintenant voir un certain nombre de fichiers gif qui ont été créés à l’emplacement du “ttyrecord”.

L’étape suivante consiste à unifier tous ces gifs qui correspondent à des actions individuelles de la session terminal en un seul fichier .gif final à l’aide de l’utilitaire imagemagick. Pour ce faire, ouvrez un terminal à l’emplacement et insérez la commande suivante :

convert -delay 25 -loop 0 *.gif example.gif

Vous pouvez nommer le fichier résultant comme vous le souhaitez (j’ai utilisé “example.gif”), et vous pouvez changer les paramètres de délai et de boucle selon vos besoins. Voici le fichier résultant de ce tutoriel rapide :