Bilow
679Messages postés
21 août 2010Date d'inscription
17 mai 2012Dernière intervention
5 déc. 2010 à 14:54
Plusieurs fichiers sont modifiables :
/boot/grub/menu.lst
/etc/default/grub
Le dossier /etc/grub.d/ cotient une foulée de paramètres
Ne pas modifier /boot/grub/grub.cfg, il est regénéré automatiquement
Après modification, il faut mettre à jour : sudo update-grub
Si vous utilisez BURG, qui me semble plus beau, c'est les mêmes chemins, mais en remplacant "grub" par "burg".
Si c'est juste pour le timeout et l'ordre de démarrage, il existe StartUpManager.
Voila ;)