En fait c'est pas que pour enregistrer son terminal, vous pouvez enregistrer ce que vous voulez.

Je me disais juste que ce titre avait plus de chances de correspondre à une recherche Google. Oui je suis comme ça maintenant.

Je suis tombé sur un petit utilitaire qui s'appelle Peek.

Pour les gens qui, comme moi, sont sur des dérivés d'Ubuntu (et probablement Debian aussi, si vous l'utilisez comme machine de bureau pour satisfaire vos tendances masochistes), vous pouvez installer Peek avec les commandes suivantes:

sudo add-apt-repository ppa:peek-developers/stable
sudo apt update
sudo apt install peek

Ce qui nous donne cette manifique fenêtre transparente à dimensionner pour représenter la surface à enregistrer (attention le curseur est enregistré avec s'il traine dans le coin):

Par défaut, ça enregistre en gif. Je vous ai concocté un petit exemple qui affiche le dernier commentaire de mon blog dans le terminal:

Alors oui, c'est lent et ça m'a peut-être ou peut-être pas pris deux heures de test pour y arriver. OK ça m'a pris deux heures de tests pour y arriver.

Bon en pratique pour le web c'est peut-être mieux de se tourner vers une solution plus velue comme Asciinema. Ou pas hein, un gif ça n'a aucune dépendances, le rêve quoi.