galigio.org
How to manage the GRUB and purge old Kernel versions on the start-up menu
After a kernel update, you find the start-up menu populated with extra lines related to all the old kernel versions plus the current one. To manage the start-up manager and safely remove old kernel…