As Steven Rostedt pointed out when announcing his clean-boot.pl tool, 
one can end up with quite a large number of installed kernels if 
building and installing from a GIT playground.  Attached is a Python 
script that eases the burden of managing this problem by providing a 
convenient mechanism for deleting kernels.

Usage: rmkernel.py [-i] [-v] <kernel> ....
        rmkernel.py -l [<kernel> ...]
        rmkernel.py -g

where <kernel> can be a glob expression (n.b. lists of expressions 
accepted) describing which kernels to delete, the -i option selects 
interactive mode where confirmation is requested for each deletion and 
-v lists each kernel that has been deleted.  This script uses grubby to 
update grub (or lilo etc.) for the removal of the kernel.  Additionally, 
the script checks to see if the kernel was installed via rpm and if it 
was uses rpm to do the removal.  It will not delete the currently 
running kernel and will silently skip it if it is in the list of kernels 
to be deleted.

The -l option lists installed kernels that match the <kernel> glob 
expression(s) or all installed kernels if no globs are provided.  The 
currently running kernel will be marked with "******" after its name.

The -g selects "GUI mode" (using PyGTK) and presents a list of installed 
kernels which can be selected and deleted with the provided buttons. 
The currently running kernel is not included in the list but is 
displayed  at the top of the window for information only.

Peter
-- 
Peter Williams                                   pwil3058@bigpond.net.au

"Learning, n. The kind of ignorance distinguishing the studious."
  -- Ambrose Bierce