how to delete kernels cleanly

[Ahmed Soliman]

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 ^_^