Ik had het hekje weggehaaid, daarna opgeslagen en dacht toen dat er weer een hekje voor moest. Niet dus.
Nu heb ik het commando uitgevoerd en de tekst in grub is groter, maar ook alle andere teksten en icons, enz.
Dat heb ik vroeger bij de 16.04 ook gehad, vandaar dat ik in mijn vraag dat aangaf.
Wat nu gedaan, maar weer terug via gedit?