Actualización de las entradas de Grub
Cuando instalamos un nuevo sistema operativo junto a otros ya instalados en nuestro disco duro, es posible que el grub no se actualice, por lo tanto, tendremos que "forzar" a que lo haga, para que reconozca los cambios realizados.
El comando a usar es el siguiente:
$grub-mkconfig -o /boot/grub/grub.cfg
(es posible que tengamos que instalar grub)
Nota:
Para instalar paquetes .deb podemos usar este comando:
$ dpkg -i paquete.deb
Fuente:
