Cómo grabar tu sesión de terminal en Linux

Grabar una sesión de terminal puede ser importante para ayudar a alguien a aprender un proceso, compartir información de manera comprensible y también presentar una serie de comandos de manera adecuada. Cualquiera que sea el propósito, hay muchas ocasiones en las que copiar y pegar texto desde la terminal no será muy útil, mientras que capturar un video del proceso es bastante complicado y puede no ser siempre posible. En esta guía rápida, echaremos un vistazo a la forma más fácil de grabar y compartir una sesión de terminal en formato .gif.

Prerrequisitos

Si solo deseas grabar tus sesiones de terminal y poder reproducir la grabación en tu terminal, o compartirlas con personas que usarán un terminal para la reproducción, entonces la única herramienta que necesitarás se llama “ttyrec”. Los usuarios de Ubuntu pueden instalarlo insertando el siguiente comando en una terminal:

sudo apt-get install ttyrec

Si deseas producir un archivo .gif de la grabación y poder compartirlo con personas que no usan la terminal, publicarlo en sitios web, o simplemente tener un .gif a mano para cuando lo necesites en lugar de comandos escritos, tendrás que instalar dos paquetes adicionales. El primero es “imagemagick” que puedes instalar con:

sudo apt-get install imagemagick

y el segundo es “tty2gif” que se puede descargar desde aquí. Este último tiene una dependencia que se puede satisfacer con:

sudo apt-get install python-opster

Capturando

Para comenzar a capturar la sesión de terminal, todo lo que necesitas hacer es simplemente comenzar con “ttyrec” + enter. Esto lanzará la herramienta de grabación en tiempo real que se ejecutará en segundo plano hasta que ingreses “exit” o presiones “Ctrl+D”. Por defecto, ttyrec crea un archivo llamado “ttyrecord” en la ubicación de la sesión de terminal que por defecto es “Home”.

Reproduciendo

Reproducir el archivo es tan simple como abrir una terminal en la ubicación del archivo “ttyrecord” y usar el comando “ttyplay” seguido del nombre de la grabación (en nuestro caso es ttyrecord, pero puedes cambiarlo a lo que desees).

Esto resultará en la reproducción de la sesión grabada, en tiempo real, y con correcciones de escritura incluidas (todas las acciones son grabadas). Esto se verá como una sesión de terminal automatizada completamente normal, pero los comandos y su aparente ejecución no se aplican realmente al sistema, ya que solo se reproducen como una grabación.

También es importante notar que la reproducción de la grabación de la sesión de terminal es completamente controlable. Puedes duplicar la velocidad de reproducción presionando el botón “+”, ralentizarla con el botón “-”, pausarla con “0” y reanudarla a velocidad normal con “1”.

Convirtiendo a .gif

Por razones de conveniencia, muchos de nosotros quisiéramos convertir la sesión grabada en un archivo .gif, y eso es muy fácil de hacer. Aquí está cómo:

Primero, descomprime el “tty2gif.tar.bz2” descargado abriendo una terminal en la ubicación de descarga e ingresando el siguiente comando:

tar xvfj tty2gif.tar.bz2

A continuación, copia el archivo resultante “tty2gif.py” en la ubicación del archivo “ttyrecord” (o el nombre que hayas especificado), y luego abre una terminal en esa ubicación y escribe el comando:

python tty2gif.py typing ttyrecord

Si estás obteniendo errores en este paso, verifica que hayas instalado el paquete “python-opster”. Si los errores persisten, da los siguientes dos comandos consecutivamente:

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

y luego repite el “python tty2gif.py typing ttyrecord” y ahora deberías ver una serie de archivos gif que se crearon en la ubicación del “ttyrecord”.

El siguiente paso es unificar todos estos gifs que corresponden a acciones individuales de la sesión de terminal en un solo archivo .gif final utilizando la utilidad imagemagick. Para hacer esto, abre una terminal en la ubicación y inserta el siguiente comando:

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

Puedes nombrar el archivo resultante como desees (yo usé “example.gif”), y puedes cambiar la configuración de retraso y bucle según sea necesario. Aquí está el archivo resultante de este tutorial rápido: