Vous vous êtes peut-être déjà demandé comment tous ces sites web font pour générer des GIF animés qui montrent des commandes tapées dans un shell, comme dans l’exemple ci-dessous.
Nous allons donc voir comment faire. Pour cela nous allons utiliser deux logiciels Linux : asciinema, qui capture le shell sous forme de film, et agg qui transforme ce film en GIF animé.
Installation de asciinema
Sous Ubuntu 26.04, l’installation est très facile :
sudo apt install asciinemaInstallation de agg
Malheureusement asciinema n’installe pas toujours agg. On doit souvent (c’est le cas sous Ubuntu 26.04) aller le chercher sur Internet.
Génération d’un GIF animé
Maintenant que asciinema et agg sont installés, la génération d’un GIF animé se fait en 2 commandes shell.
# Enregistrer
asciinema rec demo.cast
# Convertir en GIF
agg demo.cast demo.gifEt voilà 😎