tip

Captura de la terminal con el resultado del comando para borrar snaps

[Tip] Eliminar snaps antiguos

Es posible que después de instalar unas cuantas aplicaciones con la tienda de snaps notes que tienes poco espacio disponible en el disco duro. ¡Y no es para menos! Los snaps es una forma muy cómoda para instalar aplicaciones, sobre todo porque no hay que preocuparse por las dependencias. Eso sí, tiene el inconveniente de que estas apps son mucho más pesadas y ocupan más espacio en disco. Así que os dejo aquí un comando que he visto en superuser que elimina los snaps que estén marcados como desactivados (cuando se han actualizado a una versión superior, por ejemplo). Sin embargo, el comando que hay arriba no sirve, ya que… Leer más »[Tip] Eliminar snaps antiguos

[Tip] Crear una entrada en el GRUB manualmente

Hace poco compré un disco SSD para el portátil, con un puerto m-sata que es muy cómodo si la placa base del ordenador lo soporta, ya que añades capacidad de almacenamiento y no tienes que sacrificar el lector de CDs.

Bueno, el caso es que quería empezar de cero y alojar en ese disco las particiones del sistema EFI (ESP), la partición /boot para el grub, y demás. Esta vez opté por descargar Manjaro en vez de Antergos por cambiar un poco, que ya llevaba casi tres años con él instalado. El instalador Calamares está bastante guiado, y todo parecía ir bien, pero al iniciar… ¡sorpresa!, la partición EFI que había creado no era reconocida y la BIOS no encontraba con qué arrancar (salvo el USB con el que lo instalé).

Leer más »[Tip] Crear una entrada en el GRUB manualmente

Actualización del código para extraer las fuentes de Google Fonts

No, no tiene mucho que ver con que Google haya mudado el repositorio de las fuentes a Github, pero me recordó que el script para extraer los .ttf lo tenía bastante olvidado. Así que lo he mejorado un poquillo y lo he convertido a Python 3. No debería daros muchos problemas para ejecutarlo. Lo primero que os pedirá es que le metáis una ruta del repositorio, es decir, primero necesitáis descargaros el repositorio de Github git clone https://github.com/google/fonts.git y después ejecutar el script*. Esta nueva versión permite extraerlo directamente a la carpeta .fonts/, para así tener todas las fuentes disponibles nada más arrancar un programa. Para descargar el script: Lo… Leer más »Actualización del código para extraer las fuentes de Google Fonts

Redirección de puertos

Clave mágica para redirigir el puerto 80 al 8080 de un proceso en la máquina sudo iptables -A PREROUTING -t nat -i eth0 -p tcp –dport 80 -j REDIRECT –to-port 8080 Muy útil para node.js, entre otros…

Crear carpetas de forma secuencial con Bash

Una forma muy rápida de crear carpetas con números consecutivos es usar la consola de bash, que nos ofrece formas de automatizar algunas cosas. Por ejemplo, si lo que queremos es crear carpetas del tipo Tema 1, Tema 2, Tema 3… podemos hacerlo de forma muy sencilla: mkdir ./Tema{1..5} Saludos! PS: Más info en DesdeLinux

Actualizar también los paquetes del AUR

Podría parecer trivial, pero no. Si lo que quieres es actualizar los paquetes que instalaste con Yaourt desde el repositorio de usuarios de arch (AUR), lo que necesitas es añadir el flag “–aur” al comando similar al de pacman: Vamos, que en definitiva un yaourt -Syu –aur pone a yaourt a buscar los paquetes desactualizados que instalaste desde el AUR Saludos 😉

Cómo escribir una imagen de disco img sin usar dd en la consola

Seguro que si alguna vez habéis trasteado con la raspberry pi os ha tocado meter el comando dd por consola para transferir una imagen de disco (.img) a una tarjeta sd. El comando no es difícil de recordar y si lo usas habitualmente seguro que las opciones no te resultan muy extrañas. Pero si es la primera vez que haces eso… Lo más lógico es que te imponga cierto respeto, sobre todo si no estás al 100% seguro de la dirección /dev a la que apuntes: ¡Te puedes cargar cualquier cosa! Gnome Discs (también conocido como «discos» a secas) permite simplificar esta tarea y ayudarte con una interfaz gráfica. Simplemente… Leer más »Cómo escribir una imagen de disco img sin usar dd en la consola

[Tip]Git: Deshaciendo un commit por error

Seguro que no es la primera vez que haces algún cambio rápido en el repositorio git, haces commit y… de repente te das cuenta de que se te ha olvidado cambiar una mínima línea. ¿Hacer otro commit para cambiar una nimiedad? Qué buena idea podría ser lo de deshacer el commit, ¿no? Pues no es para nada complicado, simplemente hay que hacer git reset –soft HEAD^ Y con eso deshacemos el commit, hacemos los cambios deseados y cuando queramos, volvemos a hacer «git commit» e integramos los cambios. Sin duda, un tip muy útil. Saludos;)