Je kan dan beter de hele kernel verwijderen, dat bespaart je ook weer een kleine 90MB aan schijfruimte
(en dan komt de verwijderde kernel tenminste niet terug in de lijst te staan na een nieuwe kernel update
) tip: doe dit pas wanneer je weet dat de nieuwe kernel perfect werkt met je systeem, want in héél sommige gevallen komt het voor dat een kernel upgrade conflicteert met jouw specifieke hardwareconfiguratie, en dan heb je de oude kernel nodig om nog op te kunnen starten.. maar dit komt normaal gezien niet voor -- maar better safe than sorry
Dus als je weet dat de nieuwe kernel het goed doet (je kan ten minste opstarten enzo
) dan kan je linux-image-oude-versie (bv.: linux-image-2.6.17-10-generic) verwijderen.. (via synaptic ofzo) Wel opletten dat je de nieuwe versie niet verwijdert..
Grub wordt dan ook automatisch aangepast en de verwijderde kernel zal niet meer zichtbaar zijn in de lijst.
--
edit:
als alternatief kan je ook instellen dat alleen de nieuwste kernel (of de 2 nieuwste kernels) zichtbaar mogen zijn in Grub.. dat kan je doen door het bestand /boot/grub/menu.lst aan te passen
## controls how many kernels should be put into the menu.lst
## only counts the first occurence of a kernel, not the
## alternative kernel options
## e.g. howmany=all
## howmany=7
# howmany=all
wordt dan bijvoorbeeld:
## controls how many kernels should be put into the menu.lst
## only counts the first occurence of a kernel, not the
## alternative kernel options
## e.g. howmany=all
## howmany=7
# howmany=2
Hierna moet je wel het commando
sudo update-grub uitvoeren
