Peu importe où, cela ne sauvegardera aucun fichier. J'ai essayé de lancer gksudo gedit /etc/default/grub
, parce que j'essaie de changer le quiet splash
en elevator=deadline
, mais lorsque j'essaie de le sauvegarder, "Permission Denied".
Lorsque je tape gksudo gedit /etc/default/grub
, il me demande un mot de passe, puis rien ne s'ouvre. Que devrais-je faire?
Eh bien, normalement vous n’avez pas l’autorisation de modifier /etc/default/grub
, mais vous pouvez le faire avec les privilèges root:
Sudo -i #to get root permissions
gedit /etc/default/grub #to edit /etc/default/grub
Si votre gedit
ne s'ouvre toujours pas, essayez de le réinstaller (à l'aide de la commande Sudo apt-get install --reinstall gedit
) ou utilisez nano
à la place (nano /etc/default/grub
).