Vous n'êtes pas identifié(e).
Hors ligne
Dernière modification par fiche (25-06-2020 20:56:18)
Hors ligne
Hors ligne
Hors ligne
- Dans la partition EFI (fat32) : remplacement de /EFI/grub par /EFI/debian
- Dans la partition racine (ext4) : pas de fichier grub dans /etc/default/ donc copie de celui présent dans /usr/share/grub/default/
Note que c'est le renommage du répertoire "grub" en "debian" qui a permis d'afficher le menu, car c'est là que GRUB va chercher son fichier de configuration initial, et c'est le nom qu'il aurait eu si le fichier /etc/default/grub avait été en place lors de l'exécution de grub-install. Ce fichier n'a pas d'effet immédiat ; il ne sert que lors de l'exécution de grub-install (pour installer GRUB) et update-grub (pour générer le menu de GRUB). Tu devrais d'ailleurs exécuter à nouveau update-grub maintenant que ce fichier est présent.
Cela a été un peu laborieux car je n'avais jamais fait cela avant. J'avais toujours installé GRUB manuellement en plus d'une autre variante de GRUB déjà installée (GRUB EFI à côté de GRUB BIOS par exemple), donc le fichier /etc/default/grub était déjà en place.
Dernière modification par raleur (26-06-2020 21:22:38)
Il vaut mieux montrer que raconter.
Hors ligne