Comment 7 for bug 1767133

kernel 4.15.0-21:

hi cascardo,
previously, I attempted to remove the kernel via synaptic. And linux-image-4.15.0-21 could not be removed.

This time I did
apt-get remove --purge.

I get (translation from german)

rmdir: /lib/modules/4.15.0-21-generic could not be removed: not empty,
and
dpkg: during removal of linux-modules-4.15.0-21-generic, the directory /lib/modules/4.15.0-21 is not empty. Thus, will not be removed.

However, this time the kernel is indeed removed completely (all 5 .deb files).

In fact, /lib/modules/4.15.0-21-generic contains stuff related to virtualbox only, such as vboxdrv.ko (3 more .ko files). Maybe, these are remnants from the previous incomplete removal of the kernel?

volker