luca-pellegrini/linux-setup
2
1
Fork 0
Code Issues 1 Pull requests Packages Projects Releases Activity
linux-setup/modifiche-grub.md
Luca Pellegrini 2b9882b277 Spiega modifiche da apportare al menu di GRUB 
Spiega dettagli delle modifiche da apportare al menu di GRUB: usa valori
diversi per le variabili, a seconda che si sia in Linux Mint o Fedora.
2023-02-14 22:15:06 +01:00

1.2 KiB
Raw Permalink Blame History

Tema personalizzato per il menu di GRUB

Basato sul repository distro-grub-themes

Variabili

Linux Mint

BOOT_GRUB_LOCATION="/boot/grub"
DISTRO="mint"

Fedora

BOOT_GRUB_LOCATION="/boot/grub2"
DISTRO="fedora"

Copia file del tema e modifica /etc/default/grub

echo "Copia dei file del tema in $BOOT_GRUB_LOCATION/themes ..."
sudo mkdir $BOOT_GRUB_LOCATION/themes
cd /Data/Git/Altri/distro-grub-themes/customize
sudo cp -r $DISTRO/ $BOOT_GRUB_LOCATION/themes
echo

echo "Creazione backup di /etc/default/grub ..."
sudo cp /etc/default/grub /etc/default/grub.old
echo -e "GRUB_GFXMODE=1920x1080" | sudo tee -a /etc/default/grub
echo -e "GRUB_THEME=\"$BOOT_GRUB_LOCATION/themes/$DISTRO/theme.txt\"" | sudo tee -a /etc/default/grub
echo "Verificare modifiche apportate a /etc/default/grub"
sudo xed /etc/default/grub

GRUB_TERMINAL_OUTPUT="console" e GRUB_DISABLE_SUBMENU=true devono essere commentati.

Aggiorna file di configurazione di GRUB

Linux Mint:

sudo update-grub

Fedora:

sudo grub2-mkconfig -o /boot/grub2/grub.cfg
sudo grub2-mkconfig -o /boot/efi/EFI/fedora/grub.cfg