Weil eben sehr hilfreich, möchte ich mir das hier gleich merken:
$ 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
Ich habe eben >1GB damit freigeschaufelt. Das Original gibts hier, gefunden bei Christoph.