14/09/01 12:02:20.84 w8rD62k3
>>319
旧カーネルを消せば対処できると書いてあるから、
/bootを別パーティションにしていると推測するのが正しいと思うぞ。
まぁとりあえず、
$ dpkg -l 'linux-*' | sed '/^ii/!d;/'"$(uname -r | sed "s/\(.*\)-\([^0-9]\+\)/\1/")"'/d;s/^[^ ]* [^ ]* \([^ ]*\).*/\1/;/[0-9]/!d'
で確認して、
$ 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
とするのは、コピペできるならたいした手間ではない。