Ustawienie domyślnej opcji w menu wyboru systemu Gruba.
W tym celu edytujemy plik /etc/default/grub
i wpisujemy tam:
GRUB_DEFAULT=numer_opcji licząc od 0
. Zapisujemy plik
i wydajemy polecenie: update-grub
Żeby zainstalować Gruba jako bootmanager'a wykonujemy:
sudo fdisk -l
żeby zobaczyć, na której partycji zainstalowany jest nasz Linux.sudo mount /dev/sdaX /mnt
gdzie X jest numerem naszej partycji linuksowej, żeby zamonotować ją w systemie w katalogu /mnt.sudo grub-install --root-directory=/mnt /dev/sda
żeby zainstalować Gruba w boot-sektorze dysku /dev/sda.sudo update-grub
żeby zaktualizować ustawienia Gruba.
sudo grub-install --root-directory=/ /dev/sda
sudo update-grub
Żeby ustawić tapetę dla menu wyboru systemu Gruba, edytujemy plik:
/etc/grub.d/05_debian_theme
i w przedostatniej linijce (przed ostatnią linijką: set_default_theme) wpisujemy:
# If we haven't found a background image yet, use the default from desktop-base.
A następnie wykonujemy polecenie: update-grub.
if set_background_image "/boot/grub/_b1ocean.tga"; then
exit 0
fi
Po każdorazowej zmianie ustawień Gruba musimy wykonać następujące polecenie,
żeby zmiany weszły w życie:
update-grub
sudo grub-install --recheck --no-floppy --root-directory=/ /dev/sda
GRUB_HIDDEN_TIMEOUT=0
sudo update-grub