How to clean up full /boot safely?

[Colin Law]

On 10 February 2018 at 21:26, Ralf Mardorf <silver.bullet at zoho.com> wrote:
> On Sat, 10 Feb 2018 21:03:05 +0000, Colin Law wrote:
>>On 10 February 2018 at 20:55, Ralf Mardorf <silver.bullet at zoho.com>
>>wrote:
>>> On Sat, 10 Feb 2018 21:50:52 +0100, Ralf Mardorf wrote:
>>>>On Sat, 10 Feb 2018 20:41:05 +0000, Peter Flynn wrote:
>>>>>Memo to self for next installation: partition manually and create a
>>>>>separate /boot, /home, and /
>>>>
>>>>Actually you would avoid the OP's issue by not seperating /boot
>>>>from /. The issue is caused by a seperated /boot partition and an
>>>>assumed size
>>>           ^usually
>>>>that is idiotic, if somebody should need to install many kernels.
>>>
>>> Sure, even / including /boot, could be too small, but usually this
>>> issue is related to a too small separated /boot partition, resp. to
>>> users how don't know how to handle kernel upgrades, since just a
>>> minority needs many installed kernels.
>>
>>The problem arises if you have small /boot partition and do not
>>remember to run apt autoremove occasionally to remove the old ones.
>
> Indeed, but there actually is no plausible reason for GRUB users to
> seperate /boot from /. For this majority of users, it makes much more
> sense to make /boot part of /, since they would get rid of the need to
> estimate potentially needed space for /boot.

Absolutely.

Colin