deleting old kernel trees
 

hello,

my /usr/src directory has become quite messy so i want to delete all the old trees, but i am not sure whether it is safe to do so...

is it safe to delete kernel-source-trees from the /usr/src directory where the kernels built from them are still in use?

i imagine it would be, but i really don't want to find out that it isn't after the fact.

thanks in advance for any help on this.

. -ant.

Yes it is safe. However, you will most likely want to keep the tree of the single kernel you are running, and linked as
/usr/src/linux
You probably want it because certain things you compile will use the source of the running kernel when compiling modules, such as the nvidia drivers.

So keep at least the most used tree, and you're gold. If you're really pressed, yes you can get rid of all of it but watch out for programs that need your source.