Voordat je kernels kunt verwijderen, wil je eerst weten welke er allemaal zijn geïnstalleerd.
Daarvoor kan je onderstaande commando's gebruiken:
$ dpkg --list | grep linux-image
$ dpkg --list | grep linux-headers
Wanneer oude kernels verwijderd worden, zal de meest recente kernel update worden geïnstalleerd.
Daarna kan je er voor kiezen om een enkele specifieke kernel te verwijderen.
Daarvoor kan je onderstaande commando's gebruiken:
$ sudo apt-get purge linux-image-3.19.0-15
$ sudo apt-get purge linux-headers-3.19.0-15
De kernelnaam zoals in het voorbeeld (3.19.0-15) zal bij jou anders kunnen zijn.
Je kan er ook voor kiezen om meerdere kernels tegelijkertijd te verwijderen.
Hiervoor kan je onderstaande commando's gebruiken:
$ sudo apt-get purge linux-image-3.19.0-{18,20,21,25}
$ sudo apt-get purge linux-headers-3.19.0-{18,20,21,25}
In het voorbeeld kan je zien dat alleen de achterste cijfers tussen acculades '{}' worden geplaatst.
Als de Grub configuratie niet juist is geupdate nadat oudere kernels zijn verwijderd, kan je onderstaand commando gebruiken om de update handmatig uit te voeren:
$ sudo update-grub2
Daarna moet je de computer herstarten om te controleren of het Grub menu is opgeruimd.
E.e.a kan je '
hier' op de engelstalige site nog eens teruglezen.