Hi,
Oops !
I forgot to add to my comment #115 :
sudo chmod +x /etc/grub.d/00_header
BEFORE the "update-grub" command.
Sebastien.
Hi,
Oops !
I forgot to add to my comment #115 :
sudo chmod +x /etc/grub. d/00_header
BEFORE the "update-grub" command.
Sebastien.