how to delete kernels cleanly

leo kirotawa kirotawa at
Wed Jul 22 10:46:27 EDT 2015

I often delete files related to these kernels in /boot/, then
grub2-mkconfig -o /boot/grub/ , but I'm quite sure lib/modules
will still remain

On Wed, Jul 22, 2015 at 11:41 AM, Ahmed Soliman
<ahmedsoliman0x666 at> wrote:
> I have many kernels on my machine and I want to delete some of them
> what can I do
> some of these kernels are shipped with the OS ubuntu 14.04 and others I built by
> make oldconfig
> make all
> make modules
> sudo make modules_install
> sudo make install
> now how can I these kernels
> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies at


Leônidas S. Barbosa (Kirotawa)

More information about the Kernelnewbies mailing list