Cómo cambiar el hostname (o nombre de equipo) en Linux

Mediante el comando hostname podemos ver el nombre de un servidor Linux o en general de cualquier equipo corriendo Linux. Para cambiar este “host name” tan sólo tenemos que seguir estos 3 pasos: (*) Los siguientes comandos están ejecutados como root. En caso contrario, deben precederse del comando sudo para ejecutarse con privilegios de administrador […]

Problemas con el carácter ^M ¿Cómo arreglarlo?

^M es un carácter de retorno de carro. Si aparece en un archivo, seguramente sea debido a que ese archivo fue creado originalmente en un sistema DOS/Windows y luego llevado a un sistema Unix/Linux. La aparición de ^M suele dar problemas en ficheros de configuración, ya que se nos puede pasar por alto su existencia […]

Solución a No se pudo bloquear /var/lib/dpkg/lock

Este error suele aparecer tras interrumpir de manera accidental una actualización en Linux. Por ejemplo, si hacemos: # sudo apt update && sudo apt upgrade …y durante este proceso se corta la conexión SSH o se reinicia el PC, cuando repitamos el proceso interrumpido, la actualización de paquetes, nos encontraremos con un mensaje de error […]

HeartForth, el lenguaje de programación con emojis

Si algo faltaba por inventar en el mundo de la programación era esto, un lenguaje de programación por emojis. En lugar de utilizar caracteres alfanuméricos, directamente escribimos las instrucciones con emojis, como si estuvieramos en el chat de turno. El lenguaje se llama HeartForth, una versión del lenguaje Forth en la que las instrucciones típicas […]

Qué es un child theme (tema hijo) en WordPress y cómo crearlo

Un child theme en WordPress es un tema (hijo) que hereda y amplia las características de otro tema (padre) sin modificar el código de este último. En la práctica un child theme o tema hijo funciona como un clon del tema padre, pero con las modificaciones que nosotros queramos introducirle. Siempre que vayamos a crear […]