how to delete kernels cleanly

Ahmed Soliman ahmedsoliman0x666 at
Wed Jul 22 11:25:20 EDT 2015

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

and after that update-grub2

thanks in advance for your time giving me a clue ^_^

More information about the Kernelnewbies mailing list