Salut,
Un petit “update-grub” ou “update-grub2”, selon, me semble être la solution.
L’ajout d’une option dans le fichier “/etc/default/grub” n’est pas suffisant pour que celle-ci soit ajoutée (sur LES lignes des options passées aux différents noyaux) dans le fichier de configuration de GRUB.
Le fichier /etc/default/grub “ne sert qu’a” prédéfinir certaines informations utilisable par update-grub et update-grub2. Les fichiers de configuration de GRUB et GRUB2 sont respectivement: /boot/grub/menu.lst et /boot/grub/grub.cfg.
Pour être sûr qu’une option passée au noyau se trouve à la bonne place au boot de la machine, il te suffit de sélectionner la ligne du noyau sur lequel tu veux démarrer(menu de GRUB ou GRUB2) et tu appuies sur la touche “TAB” (tabulation); là, tu pourras aisément vérifier la présence de tes options et même faire une éventuelle correction voir un ajout/retrait. “Esc” pour revenir au menu.
Attention tout de même, les modifications effectuée par cette méthode sont éphémères; de fait, elles disparaîtrons au prochain démarrage.
Edit: J’ai glissé une erreur sur ceci: “TAB” (tabulation); ceci est valable pour les “Live-CD”; La bonne touche pour GRUB étant “e” (pour Edit).
A+
Debcool