how to delete kernels cleanly

[慕冬亮]

The kernel shipped by ubuntu can be purged by apt-get. It's easy.
The kernel you build can be cleaned in this way :

   1. clean the corresponding kernel file in /usr/src/
   2. clean the corresponding file in /lib/modules/
   3. update your grub by grub-mkconfig -o /boot/grub/grub.cfg


2015-07-22 22:46 GMT+08:00 leo kirotawa <kirotawa at gmail.com>:

> I often delete files related to these kernels in /boot/, then
> grub2-mkconfig -o /boot/grub/grub.cf , but I'm quite sure lib/modules
> will still remain
>
> On Wed, Jul 22, 2015 at 11:41 AM, Ahmed Soliman
> <ahmedsoliman0x666 at gmail.com> 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 kernelnewbies.org
> > http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>
>
>
> --
>
> ----------------------------------------------
> Leônidas S. Barbosa (Kirotawa)
> blog: corecode.wordpress.com
>
> _______________________________________________
> Kernelnewbies mailing list
> Kernelnewbies at kernelnewbies.org
> http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.kernelnewbies.org/pipermail/kernelnewbies/attachments/20150722/933a0d98/attachment.html