Bill, > 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
Were these kernels you installed from non-Debian/non-Ubuntu sources? As in, did you download the source from kernel.org and compile it yourself? If you installed them through the package manager, or compiled a custom kernel with make-kpkg, then you should uninstall the kernel image/header packages as appropriate rather than just deleting files directly. tim _______________________________________________ PLUG mailing list [email protected] http://lists.pdxlinux.org/mailman/listinfo/plug
