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
Bonjour,
Merci à Aurélien pour son tuyau, mais je n'ai pas réussi à enregistrer
les modifications dans grub en l'ouvrant avec l'éditeur de texte (droits
refusés) et compte tenu de mes faibles connaissance des commandes linux
sous le "terminal d'Ubuntu" je suis donc coincé.
Pouvez-vous m'aider
