<div dir='auto'><div>Thanks Mark, that's useful to know 🙂 I guess I'll just run autoremove every so often to keep the /boot partition reasonably clean.</div><div dir="auto"><br></div><div dir="auto">Many thanks,</div><div dir="auto"><br></div><div dir="auto">Bill<br><div class="gmail_extra" dir="auto"><br><div class="gmail_quote">On 18 Sep 2019 12:12, Mark Einon via Swlug <swlug@mailman.lug.org.uk> wrote:<br type="attribution"><blockquote class="quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><p dir="ltr">Be careful doing this!</p>
<p dir="ltr">Not all systems/distros can read all filesystem types prior to initrd<br>
booting (as this is done by the bootloader).</p>
<p dir="ltr">One of the compelling reasons for having a separate /boot is that it's<br>
formatted in a known supported FS, whilst you can have any Linux-<br>
supporting FS for your main partiton.</p>
<p dir="ltr">Mark</p>
<p dir="ltr">On Wed, 2019-09-18 at 10:10 +0100, Colin Law via Swlug wrote:<br>
> On Wed, 18 Sep 2019 at 10:04, Bill Thomson via Swlug<br>
> <swlug@mailman.lug.org.uk> wrote:<br>
> > Hi Colin, that seems to have done the trick! I've freed up in excess<br>
> > 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>
> <br>
> Colin<br>
> <br><br></p>
<p dir="ltr">-- <br>
Swlug mailing list<br>
Swlug@mailman.lug.org.uk<br>
https://mailman.lug.org.uk/mailman/listinfo/swlug</p>
</blockquote></div><br></div></div></div>