Synaptic showed there were a lot of kernels installed, probably caused by successive updates. I uninstalled three versions of linux-headers-(version), linux-headers-(version)-generic, linux-image-(version)-generic and linux-image-extra-(version)-generic. This freed almost 800 MB of disk space. What is left now, are:
Code: Select all
linux-headers-4.10.0-38
linux-headers-4.13.0-45
linux-headers-4.10.0-38-generic
linux-headers-4.13.0-45-generic
linux-image-4.10.0-38-generic
linux-image-4.13.0-45-generic
linux-image-extra-4.10.0-38-generic
linux-image-extra-4.13.0-45-generic
What is the function of linux-kernel-generic, and why doesn't it have version 4.13.0-45?