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@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@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@kernelnewbies.org http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies

--

---------------------------------------------- Leônidas S. Barbosa (Kirotawa) blog: corecode.wordpress.com

_______________________________________________ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies

Doesn't help you at the moment, but in the future if you build the kernels (and headers etc) as .deb packages (e.g. via 'make-kpkg') and install them with 'dpkg -i', you can later uninstall them with a single invocation of 'dpkg -r'. Henry