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 con
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
