Op het internet vond ik een mooi commando om je ubuntu systeem te schonen van oude kernels:
dpkg -l
'linux-*'
|
sed
'/^ii/!d;/'
"$(uname -r | sed "
s/\(.*\)-\([^0-9]\+\)/\1/
")"
'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d'
|
xargs
sudo
apt-get -y purge
De schrijver van het artikel geeft ook nog aan hoe dit werkt. Mooi en snel.