Shell

There are 192 articles in this category

Obtener nuestra IP pública desde la línea de comandos en Linux

29 noviembre, 2020

Para chequear una partición de un disco duro o un pendrive formateada en FAT32 desde linux, yo particularmente suelo usar…

Por defecto, en Linux las páginas de ayuda se muestran sin colores: Una forma sencilla de verlas coloreadas es instalar…

Hay una forma muy sencilla de buscar archivos por extensión mediante el comando find: Utilizando la opción -iregex que nos…

En un post de mayo de 2020, vimos cómo realizar un backup de los repositorios de nuestra máquina simplemente haciendo…

Si tenéis un equipo con arranque dual Linux/Windows y elimináis las particiones de Linux para dejar instalado solo Windows, al…

Tengo configurados mis equipos para instalar paquetes deb desde los repositorios oficiales y diferentes ppa. Pero, además, los he añadido…

En un aula de ordenadores donde los alumnos no van a usar los equipos durante más de una hora, es…

En el post anterior hemos visto cómo extraer todas líneas que definen cada opción de un menú de Grub. En…

Como ya sabéis, cada entrada de un menú de GRUB está definida por varias líneas que comienzan por "menuentry", tienen…