On 01/29/2015 01:55 PM, Stephen Morris wrote:
I had to delete a dozen of these directories this morning manually,
why
are these not removed when the associated kernels are removed?
Were the kernel modules in those directories built locally by dkms
rather than owned by rpm packages? That'd do it.