Vous souhaitez éditez la configuration du menu de démarrage d'un PC sous une distribution de Linux qui ne peut plus démarrer ?
Rien de plus simple, utilisez une clef USB Linux Live (la distribution que vous souhaitez,pour rappel : Création d'une clef USB bootable sous Ubuntu) et démarrez dessus.
Modifiez le fichier GRUB de la machine hôte (! pas celui de la clef USB), selon votre identifiant de partition de disque, par exemple avec nano :
sudo nano /[pathVersMonDisqueDur]/etc/default/grub
Exemple de contenu du fichier GRUB
... GRUB_DEFAULT=0 GRUB_TIMEOUT_STYLE=hidden GRUB_TIMEOUT=5 GRUB_DISTRIBUTOR=`lsb_release -i -s 2> /dev/null || echo Debian` GRUB_CMDLINE_LINUX_DEFAULT="quiet splash" ...
Pour prendre vos modifications en compte il faut lancer la commande
sudo update-grub
Le problème est que si vous exécutez cette commande de mise à jour de GRUB cela n'affectera pas votre machine hôte mais agirait sur la configuration GRUB de votre clef USB (en cours d'utilisation).
Alors comment faire (sur un système moderne qui utilise une partion EFI) ?
Pour les commandes suivantes, nous utilisons une clef live USB sous Linux Mint pour modifier la configuration GRUB d'un PC sous Ubuntu 22.04, disque dur sda, partion de boot EFI sda1, partition system sda2.
mint@mint:~$ sudo mount /dev/sda2 /mnt mint@mint:~$ sudo mount --bind /dev /mnt/dev mint@mint:~$ sudo mount --bind /sys /mnt/sys mint@mint:~$ sudo mount --bind /proc /mnt/proc mint@mint:~$ sudo mount /dev/sda1 /mnt/boot/efi mint@mint:~$ sudo chroot /mnt root@mint:/# update-grub
Et voilà, la configuration GRUB du PC hôte a été mise à jour avec vos modifications.