<html>
<head>
<meta content="text/html; charset=ISO-8859-1"
http-equiv="Content-Type">
</head>
<body bgcolor="#FFFFFF" text="#000000">
Le 06/12/2012 10:00, guilhelm savin a écrit :
<blockquote
cite="mid:CAOcyT+w+J+pxZE9WE5wb-vWEA=gxaiqc6JMq0QDd6dtEq4HBdw@mail.gmail.com"
type="cite">
<div class="gmail_extra">Bonjour,</div>
<div class="gmail_extra"><br>
</div>
<div class="gmail_extra">Pour éditer le fichier : `<font
face="courier new, monospace">sudo gedit <span
style="font-size:13px">/etc/default/grub</span></font><span
style="font-family:arial,sans-serif;font-size:13px">` ou `</span><font
face="courier new, monospace"><span style="font-size:13px">sudo
nano </span><span style="font-size:13px">/etc/default/grub</span></font><span
style="font-family:arial,sans-serif;font-size:13px">` (mais
sans interface graphique pour cette seconde commande).</span></div>
<div class="gmail_extra"><font face="arial, sans-serif"><br>
</font></div>
<div class="gmail_extra"><font face="arial, sans-serif">Cordialement.</font></div>
<div class="gmail_extra"><font face="arial, sans-serif">Guilhelm<br>
</font><br>
</div>
</blockquote>
Bonjour,<br>
<br>
Ne surtout pas oublier d'entrer ensuite dans une console : sudo
update-grub<br>
<br>
(commande qui met à jour un fichier qu'il il ne faut surtout pas
chercher à éditer à la main :<br>
/boot/grub/grub.cfg)<br>
<br>
Sinon les modifications effectuées sur le fichier /etc/default/grub
ne seront pas prises en compte<br>
<br>
@+<br>
<br>
Philippe<br>
</body>
</html>