On Fri, Sep 14, 2018 at 08:37:45AM -0400, Stefan Monnier wrote:
BTW, am I the only one here bothered that his 250MB /boot partition tends to fill up, even though a 500MB HDD was plenty to hold the whole OS plus lots and lots of free space, on a 64bit workstation like the original DEC Alphas?
You can solve that issue by not insisting on having a /boot partition...