<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Wed, 18 Sep 2019 at 10:11, Colin Law via Swlug <<a href="mailto:swlug@mailman.lug.org.uk">swlug@mailman.lug.org.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">On Wed, 18 Sep 2019 at 10:04, Bill Thomson via Swlug<br>
<<a href="mailto:swlug@mailman.lug.org.uk" target="_blank">swlug@mailman.lug.org.uk</a>> wrote:<br>
><br>
> Hi Colin, that seems to have done the trick! I've freed up in excess of 2Gb in the boot directory - thank you!<br>
><br>
<br>
For future reference I believe it is generally considered better not<br>
to have a separate partition for /boot as it can give rise to this<br>
problem.  Just put /boot in the main root (/) partition so that it<br>
will not fill up.  If it /boot actually fills up completely it can be<br>
a big pain to recover as you can't then run autoremove, you have to<br>
manually remove the old kernels.<br></blockquote><div><br></div><div>I'm not sure that's actually true - in particular, if you don't have a separate partition for /boot, you won't be able to use full disk encryption (ie, LUKS and friends), which is particularly important for a laptop.</div><div><br></div><div>Dave.</div></div></div>