I finally resolved the issue. If you want to remove old Linux kernels from your system: * Remove kernel and related files from /boot * Remove related linux-headers (directories) from /usr/src * Run update-grub
This appears to be true on Ubuntu 11.10 and LinuxMint 11 -- -- Bill Morita 907-952-9948 (Cell) _______________________________________________ PLUG mailing list [email protected] http://lists.pdxlinux.org/mailman/listinfo/plug
