Het probleem:
Oudere kernels en bijbehorende files blijven ‘plakken’ als er een nieuwere kernel word geïnstalleerd. Al met al zo’n 30MB per kernel. Met een paar jaar updaten worden dat toch honderden MB’s die werkeloos op de harde schijf kamperen. Gelukkig is de rommel opruimen relatief simpel in een terminal.
De oplossing:
EDIT: 04-03-2018
Tegenwoordig gaat het zo:
sudo apt-get autoremove
/EDIT
Eerst kijken we welke kernel er op dit moment door het systeem word gebruikt:
cellie@cellie-Desktop ~ $ uname -r 3.8.0-19-generic
Deze kernel –3.8.0-19-generic
– moeten we dus niet wissen!
Vervolgens kijken we welke kernels allemaal geïnstalleerd zijn:
cellie@cellie-Desktop ~ $ dpkg --list | grep linux-image ii linux-image-3.8.0-19-generic 3.8.0-19.29 amd64 Linux kernel image for version 3.8.0 on 64 bit x86 SMP ii linux-image-extra-3.8.0-19-generic 3.8.0-19.29 amd64 Linux kernel image for version 3.8.0 on 64 bit x86 SMP ii linux-image-generic 3.8.0.19.35 amd64 Generic Linux kernel image
Hier kunnen we de kernel linux-image-extra-3.8.0-19-generic verwijderen:
sudo apt-get purge linux-image-extra-3.8.0-19-generic
Als er meerdere kernels op het systeem staan bovenstaande stap herhalen voor iedere niet-actieve kernel.
Let op de actieve kernel! Verwijder deze niet.
Als laatste grub2 updaten:
cellie@cellie-Desktop ~ $ sudo update-grub2 Generating grub.cfg ... Found linux image: /boot/vmlinuz-3.8.0-19-generic Found initrd image: /boot/initrd.img-3.8.0-19-generic No volume groups found done
Nu alleen nog een keer rebooten, en klaar is klara.