Vous vous souvenez d’AsciiCinema, l’outil qui permet d’enregistrer au format JSON vos sessions dans le terminal pour produire ensuite des « replays » en ligne visible dans les navigateurs ?
Et bien pour ceux qui voudraient produire des GIFs animés à partir de leurs séances d’AsciiCinema, il existe le logiciel AsciiCast2Gif (basé sur NodeJS) qui charge votre fichier AsciiCast et qui génère à partir du JSON, une série d’images PNG qui sont ensuite mises bout à bout pour produire un GIF animé à insérer dans vos sites web.
Il vous faudra les dépendances Gifsicle et ImageMagick ainsi que npm (NodeJS).
Voici une démonstration. Prenez l’URL de votre asciicinema, ajoutez-y « .cast » à la fin et utilisez ce lien dans la commande suivante :
asciicast2gif https://asciinema.org/a/335029.cast output.gif
Et ensuite, vous obtiendrez votre GIF animé :
Mignon, n’est-ce pas ?