Dist-upgrading Ubuntu Server 18.04 located in remote site?

[Ralf Mardorf]

On Mon, 7 Feb 2022 05:08:06 +0100, Ralf Mardorf wrote:
>On Sun,  6 Feb 2022 21:44:43 -0500 (EST), Robert Heller wrote:
>>> rmdir: failed to remove '/lib/modules/4.15.0-166-generic': Directory
>>> not empty
>>> 
>>> Is the last message OK regarding non-empty directory?    
>>
>>
>>The /lib is on the root file system, so it is not a problem at this
>>point -- it does need to be looked into at some point.  
>
>I suspect that /lib/modules/ contains modules that are not installed by
>a package, but build with dkms. Running
>
>  # dkms status
>
>might provide this information. A leftover probably can be removed by
>"dkms remove [...]", but sometimes checking
>
>  # ls -l /lib/modules/* /var/lib/dkms/*
>
>and manually deleting the leftover by "rm [...]" is required.
>Unfortunately dkms can be configured to be in another path, but
>/var/lib/dkms/.

PS:

On Mon, 07 Feb 2022 00:32:37 +0100, Bo Berglund wrote:
>$ dpkg --list 'linux-image*' | grep ^ii
>ii  linux-image-4.15.0-159-generic          4.15.0-159.167 amd64
> Signed kernel image generic
>ii  linux-image-4.15.0-161-generic          4.15.0-161.169 amd64
> Signed kernel image generic
>ii  linux-image-4.15.0-162-generic          4.15.0-162.170 amd64
> Signed kernel image generic
>ii  linux-image-4.15.0-166-generic          4.15.0-166.174 amd64
> Signed kernel image generic
>ii  linux-image-4.15.0-167-generic          4.15.0-167.175 amd64
> Signed kernel image generic
>ii  linux-image-generic                     4.15.0.167.156 amd64
> Generic Linux kernel image
>
>Based on this I did:
>
>$ sudo apt remove linux-image-4.15.0-159-generic
>$ sudo apt remove linux-image-4.15.0-161-generic
>$ sudo apt remove linux-image-4.15.0-162-generic
>$ sudo apt autoremove

Or it's as simple as a remaining linux-headers package that needs to be
removed. The headers aren't in /lib/modules/, but a link or links
against headers is/are in /lib/modules.