Shell

There are 193 articles in this category

Obtener información acerca de la propiedad de una IP pública desde la línea de comandos en Linux

29 noviembre, 2020

Hay muchos sitios desde los que podemos obtener nuestra IP pública en un terminal. Uno de ellos es https://ifconfig.me/ En…

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…