How to clean up full /boot safely?

[Ralf Mardorf]

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.

-- 
$ pacman -Q linux{,-rt-securityink,-rt,-rt-pussytoes,-rt-cornflower}
linux 4.15.2-2
linux-rt-securityink 4.14.18_rt15-1
linux-rt 4.14.12_rt10-1
linux-rt-pussytoes 4.14.8_rt9-2
linux-rt-cornflower 4.11.12_rt16-1