Being not as linux-savvy as others, I had hoped for an "easy" method (i.e. sudo apt-get autoremove) but that wasn't happening. After much head-scratching I ended up using sudo dpkg -l linux* to see what all was still installed. Instead of entering the remove command for each kernel I ended up just doing a:
sudo apt-get remove linux-headers-3.13.0-*
sudo apt-get remove linux-image-3.13.0-*
followed by a purge of the same. I'm finally back to using rEFInd to boot without having to manually select the kernel every time I start up.
Incidentally, I'm on one of my laptops running 14.04 at the moment. I never paid enough attention to realize that this one is already running the 4.4.0 kernel, likely because my desktop install is almost 2 years old whereas this one's only about 6 months.
sudo apt-get remove linux-headers-3.13.0-*
sudo apt-get remove linux-image-3.13.0-*
followed by a purge of the same. I'm finally back to using rEFInd to boot without having to manually select the kernel every time I start up.
Incidentally, I'm on one of my laptops running 14.04 at the moment. I never paid enough attention to realize that this one is already running the 4.4.0 kernel, likely because my desktop install is almost 2 years old whereas this one's only about 6 months.
Comment