Delete unused Linux kernels
February 06, 2010
Free up disk space by removing old kernels
Clean up /usr/src by removing old Linux kernels
Directly delete the sources:
Directly delete the sources:
$ sudo apt-get remove --purge $(dpkg -l 'linux-image-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)/\1/")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d')
Alternately:
$ uname -r # don't remove this kernel $ dpkg --list | grep linux-image $ sudo apt-get purge linux-image-x.x.x.x-generic $ sudo update-grub2
Reference: