Chaque fois que j'ai essayé de faire un double démarrage d'Ubuntu avec Windows, j'ai toujours du mal avec la même chose ... éditer l'option par défaut sur le chargeur de démarrage grub. J'utilise maintenant 11.10 et j'ai rencontré le même problème.
- Le gestionnaire de démarrage n'a pas fonctionné le 11.04, ni le 11.10.
- L'édition
GRUB_DEFAULT=
dans le/etc/default/grub
fichier ne semble pas fonctionner non plus.
Cela ne devrait pas être difficile, et je suis sûr qu'il y a une explication simple. Quelqu'un pourrait-il me dire de quoi il s'agit?
menuentry
? Lemenuentry_id_option
? Quelque chose non spécifié par défaut? Doit-il être cité lors de sa transmission àGRUB_DEFAULT
? Pouvez-vous peut-être changer l'exemple pour montrer comment utiliser les noms / identifiants des entrées de menu, car la spécification des index semble de toute façon une mauvaise idée.