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 Le 6 décembre 2012 09:57, LEMAIRE H et MC < christine.hubert.lema...@orange.fr> a écrit : > /etc/default/grub -- Guilhelm Savin PhD Student of Computer Science LITIS, University of Le Havre \/\/\/\/\/\/ http://g <http://litis.univ-lehavre.fr/~savin>savin.lewub.org http://d3-project.org http://iscn.univ-lehavre.fr http://graphstream-project.org <http://www.graphstream-project.org> /\/\/\/\/\/\
_______________________________________________ Toulouse-ll mailing list Toulouse-ll@toulibre.org http://toulibre.org/cgi-bin/mailman/listinfo/toulouse-ll
