Programación · Si lo haces, hazlo bien!

▸ 2024-12-10: Publicando nuevos artículos en RRSS

▸ 2024-11-12: Publicar feed en Tumblr

▸ 2023-07-23: Crear RSS de los podcast que sigo

▸ 2022-12-19: Cambiando de editor. Neovim

▸ 2022-11-22: Script para actualizar tu GitHub

▸ 2022-11-14: Publicar feed en Mastodon / Twitter

▸ 2022-01-15: Configurar el fichero .bashrc para descomprimir ficheros

▸ 2021-06-09: Crear fichero de logs en bash

▸ 2021-03-25: Montar imagen ISO desde consola en GNU/Linux

▸ 2020-08-31: Crear directorios a partir de un fichero de texto

▸ 2020-08-30: Copiar un archivo a varios directores

▸ 2020-08-29: Mover ficheros de un arbol de directorios a un directorio

▸ 2014-01-03: Crear imagen ISO desde la consola de Debian GNU/Linux

▸ 2012-03-07: Dividir / Unir Fichero en GNU/Linux