Linux en español
Tutoriales

Terminalizer: Herramienta para registrar sesiones de terminal en GNU/Linux

3 minutos de lectura

¿Has pensado alguna vez en cómo puedes grabar tu terminal Linux? Terminalizer es una herramienta CLI elegante y altamente personalizable que registra y renderiza la actividad de la terminal y puede crear una imagen GIF animada a partir de ella. Puede funcionar bien en Ubuntu, CentOS, Arch Linux, SUSE, RedHat, Fedora, etc. En este tutorial, te explicaremos cómo puedes instalar y capturar/grabar tu terminal Linux.

Antes de instalar Terminalizer, asegúrate de tener Node.js y npm instalados.

Instalando Node.js

Para instalar Node.js, primero, actualiza tu sistema. Aquí estoy usando la versión Ubuntu 18.04.

A continuación, ejecuta el siguiente comando para instalar Node.js desde los repositorios:

Salida

Tras la instalación correcta de Node.js, puedes verificar la versión utilizando el comando como se muestra a continuación:

Salida

Finalmente, instalaremos npm que es el gestor de paquetes para Node.js

Para verificar la ejecución de la versión de npm;

Salida

Instalando Terminalizer

Para ello, ejecuta:

Salida

La instalación de Terminalizer debería funcionar bien con Node.js versión 9 y posteriores. Si estás ejecutando una versión más reciente y la instalación falla, es posible que se te pida que instales las herramientas de desarrollo para crear los complementos de C++. Para lograr este objetivo,

Para verificar la instalación de las herramientas de desarrollo, ejecuta:

Salida

Salida

Usando Terminalizer

Para empezar con Terminalizer, primero generaremos un archivo de demostración en el directorio actual:

Salida

En este punto, ejecuta algunos comandos en tu terminal y sal presionando CTRL + D. Esto guardará tu grabación como un archivo YAML, en este caso, demo.yml.

terminalizer run commands

Para reproducir la grabación, ejecuta:

Esto reproducirá una grabación que mostrará un historial de los últimos comandos que acabas de ejecutar.

terminalizer

Post original en: maslinux.es

Entradas relaccionadas

Crear usuario con privilegios de root

Diego García Cuesta

Cómo conectarme por SSH a una Raspberry Pi

Diego García Cuesta

Administración de usuarios y grupos en linux

Linux en Español

Linset y Wifimosys – Cómo descifrar claves wifi WPA2 con WPS apagado

Diego García Cuesta

Cómo bloquear Chromium con contraseña

Linux en Español

¿Cómo instalar los drivers privados de Nvidia en Debian 9 Stretch?

Linux en Español