Le 06/12/2012 10:00, guilhelm savin a écrit :
Bonjour,
Pour éditer le fichier : `sudo gedit /etc/default/grub` ou `sudo nano
/etc/default/grub` (mais sans interface graphique pour cette seconde
commande).
Cordialement.
Guilhelm
Bonjour,
Ne surtout pas oublier d'entrer ensuite dans une console : sudo update-grub
(commande qui met à jour un fichier qu'il il ne faut surtout pas
chercher à éditer à la main :
/boot/grub/grub.cfg)
Sinon les modifications effectuées sur le fichier /etc/default/grub ne
seront pas prises en compte
@+
Philippe
_______________________________________________
Toulouse-ll mailing list
Toulouse-ll@toulibre.org
http://toulibre.org/cgi-bin/mailman/listinfo/toulouse-ll
