23/10/2024, 17:29
gedit è un editor di testo, ce ne sono anche altri. P. es. se lo utilizzi da terminale puoi provare nano, se lo vuoi con interfaccia grafica puoi usare kate. Tieni presente che per editare il file "/etc/default/grub devi essere root o usare sudo. Dopo aver editato il suddetto file ti devi ricordare (sempre da root o sudo) di aggiornare le impostazioni di grub che hai modificato usando il comando:
Codice:
update-grub