grubenv
Au lancement du PC, apparition du message :
Erreur: Bloc d’environnement incorrect
Appuyer sur n'importe quelle touche pour continuer…Que faire ?
Documentation
Conduite à tenir
Il faut exécuter les commandes suivantes, en tant que root :
cd /boot/grub
rm grubenv
grub-editenv grubenv create
grub-editenv grubenv set default=0
grub-editenv grubenv list
update-grub