How to clean up full /boot safely?

[Colin Law]

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.

Colin