Hallo,
Ik heb alle oude kernels verwijderd - en ik ben er zeker van dat ik dat gedaan heb zoals het hoort.
Maar ze blijven wel verschijnen in het grub-menu als ik boot.
Ik heb zitten zoeken hoe dat komt... maar het is mij niet duidelijk geworden welke file ik dan manueel moet aanpassen.
Het gaat over 14.04, dat is grub2.
Kan iemand me helpen? (niet dat het echt belangrijk is... ben eerder nieuwsgierig waarom het, zoals vroeger, niet automatisch gebeurt dat dat menu aangepast wordt. Is het een bug misschien?)