Re: how to delete kernels cleanly
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 ___ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
Re: how to delete kernels cleanly
thanks all of you first I just want to point that nothing is available in /usr/src/ for that specific kernel and I found that the best way to remove a kernel built by me is to remove /boot/vmlinuz*KERNEL-VERSION* /boot/initrd.img*KERNEL-VERSION* /boot/System-map*KERNEL-VERSION* /boot/config-*KERNEL-VERSION* /lib/modules/*KERNEL-VERSION* and after that update-grub2 thanks in advance for your time giving me a clue ^_^ ___ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
Re: 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 : > 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 > 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 > ___ Kernelnewbies mailing list Kernelnewbies@kernelnewbies.org http://lists.kernelnewbies.org/mailman/listinfo/kernelnewbies
Re: how to delete kernels cleanly
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 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
how to delete kernels cleanly
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
