Pewnie każdy ma swój fajny/sprawdzony/ulubiony sposób na usunięcie starych, nieużywanych jąder z
systemu. Niektórzy używają automatów do tego celu.
Ponieważ automaty zmusiły mnie kilka razy do dodatkowej pracy (związanej z instalacją/rekon guracją).
Dlatego w przypadku tej procedury lubię starą sprawdzoną procedurę opisaną
tutaj: http://tuxtweaks.com/2010/10/remove-old-kernels-in-ubuntu-with-one-command/
W skrócie sprowadza się ona do poniższego polecenia:
dpkg -l linux-* | awk '/^ii/{ print $2}' | grep -v -e `uname -r | cut -f1,2 -d"-"` | grep -e [0-9] | grep -E "(image|headers)" | xargs sudo apt-get -y purge
komenda OK, robi co trzeba!