Come registrare la tua sessione terminale su Linux

Registrare una sessione terminale può essere importante per aiutare qualcuno a imparare un processo, condividere informazioni in modo comprensibile e anche presentare una serie di comandi in modo appropriato. Qualunque sia lo scopo, ci sono molte volte in cui copiare e incollare testo dal terminale non sarà molto utile, mentre catturare un video del processo è piuttosto fantasioso e potrebbe non essere sempre possibile. In questa guida rapida, daremo un’occhiata al modo più semplice per registrare e condividere una sessione terminale in formato .gif.

Prerequisiti

Se desideri solo registrare le tue sessioni terminali e poter riprodurre la registrazione nel tuo terminale, o condividerle con persone che utilizzeranno un terminale per la riproduzione, allora l’unico strumento di cui avrai bisogno si chiama “ttyrec”. Gli utenti di Ubuntu possono installarlo inserendo il seguente comando in un terminale:

sudo apt-get install ttyrec

Se desideri produrre un file .gif dalla registrazione e poterlo condividere con persone che non usano il terminale, pubblicarlo su siti web, o semplicemente tenere un .gif a portata di mano per quando ne avrai bisogno invece di comandi scritti, dovrai installare due pacchetti aggiuntivi. Il primo è “imagemagick” che puoi installare con:

sudo apt-get install imagemagick

e il secondo è “tty2gif” che può essere scaricato da qui. Quest’ultimo ha una dipendenza che può essere soddisfatta con:

sudo apt-get install python-opster

Cattura

Per iniziare a catturare la sessione terminale, tutto ciò che devi fare è semplicemente iniziare con “ttyrec” + invio. Questo avvierà lo strumento di registrazione in tempo reale che funzionerà in background fino a quando non inseriamo “exit” o premiamo “Ctrl+D”. Per impostazione predefinita, ttyrec crea un file chiamato “ttyrecord” nella destinazione della sessione terminale che per impostazione predefinita è “Home”.

Riproduzione

Riprodurre il file è semplice come aprire un terminale nella destinazione del file “ttyrecord” e utilizzare il comando “ttyplay” seguito dal nome della registrazione (nel nostro caso è ttyrecord ma puoi cambiarlo in qualsiasi cosa tu voglia).

Questo comporterà la riproduzione della sessione registrata, in tempo reale, e con le correzioni di digitazione incluse (tutte le azioni sono registrate). Questo apparirà come una sessione terminale automatizzata completamente normale, ma i comandi e la loro apparente esecuzione non sono ovviamente realmente applicati al sistema, poiché sono solo riprodotti come una registrazione.

È anche importante notare che la riproduzione della registrazione della sessione terminale è completamente controllabile. Puoi raddoppiare la velocità di riproduzione premendo il pulsante “+”, rallentarla con il pulsante “-“, metterla in pausa con “0” e riprenderla a velocità normale con “1”.

Conversione in .gif

Per motivi di comodità, molti di noi vorrebbero convertire la sessione registrata in un file .gif, e questo è molto facile da fare. Ecco come:

Per prima cosa, estrai il “tty2gif.tar.bz2” scaricato aprendo un terminale nella posizione di download e inserendo il seguente comando:

tar xvfj tty2gif.tar.bz2

Successivamente, copia il file risultante “tty2gif.py” nella destinazione del file “ttyrecord” (o qualunque sia il nome che hai specificato), e poi apri un terminale in quella destinazione e digita il comando:

python tty2gif.py typing ttyrecord

Se ricevi errori in questo passaggio, controlla di aver installato il pacchetto “python-opster”. Se gli errori persistono, dai i seguenti due comandi consecutivamente:

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

poi ripeti “python tty2gif.py typing ttyrecord” e ora dovresti vedere un numero di file gif che sono stati creati nella posizione del “ttyrecord”

Il passo successivo è unire tutti questi gif che corrispondono a singole azioni della sessione terminale in un unico file .gif finale utilizzando l’utilità imagemagick. Per fare ciò, apri un terminale nella destinazione e inserisci il seguente comando:

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

Puoi nominare il file risultante come preferisci (io ho usato “example.gif”), e puoi cambiare le impostazioni di ritardo e loop come necessario. Ecco il file risultante di questo rapido tutorial: