Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]

Groups > linux.debian.user > #234097

Re: Boot better have mounted on root or /boot ?

Show all headers | View raw

On Fri 09 Apr 2021 at 21:10:20 (+0300), Andrei POPESCU wrote:
> On Vi, 09 apr 21, 09:14:31, tomas@tuxteam.de wrote:
> > On Fri, Apr 09, 2021 at 09:07:04AM +0300, Andrei POPESCU wrote:
> > > On Jo, 08 apr 21, 07:21:04, Eike Lantzsch ZP6CGE wrote:
> > > > On Donnerstag, 8. April 2021 02:15:00 -04 Andrei POPESCU wrote:
> > > > >
> > > > > For me the simplicity of having 'boot' on '/' wins in most cases. It
> > > > > avoids a lot of issues (like running out of space in /boot) with no
> > > > > significant downside I'm aware of.
> > > > 
> > > > With my setups it is far more likely that / fills up than /boot so having
> > > > a separate /boot partition at least allows me to boot and solve the
> > > > problem easily.
> > > 
> > > Sorry, I just can't imagine a scenario in which some space in /boot can 
> > > help with a full /, except maybe to (ab)use it to move stuff around(?).
> > 
> > I think Eike's point of view is "from the other end": / filling up
> > makes /boot full and thus (possibly) disfunctional, preventing the
> > next boot.
> > 
> > I'm not sure about a concrete mechanism for that, but it would be
> > annoying indeed, forcing you to either whip-up a rescue medium.
> 
> I'm not aware of anything needing to write to /boot during boot.

Technically, grub might write to /boot/grub/grubenv, but the space for
that is pre-allocated, for that very reason..

> As far as I know /boot can even stay unmounted (or read-only), except 
> for kernel, bootloader, etc. upgrades.
> 
> What am I missing?

It might be necessary to know what Eike has in / that causes it to
fill up. /var, /tmp, /home ?

> > (Remember: your only computer is currently refusing to boot, and
> > you lent your last USB stick [1] to that nice friend yesterday evening)
> > or surgically extracting your harddisk from your flimsy laptop to...
> > drats, your only computer, etc. you get the idea ;-)
> > 
> > Cheers
> > 
> > [1] which, of course, had a current rescue system, because everyone
> >    has that :-)
> 
>     apt show grml-rescueboot
> 
> (which of course won't help if the boot device is failing, but then you 
> have bigger problems anyway)

Cheers,
David.

Back to linux.debian.user | Previous | Next — Previous in thread | Find similar | Unroll thread

Thread

Boot better have mounted on root or /boot ? Robbi Nespu <robbinespu@gmail.com> - 2021-04-08 03:00 +0200
  Re: Boot better have mounted on root or /boot ? Greg Wooledge <greg@wooledge.org> - 2021-04-08 05:20 +0200
    Re: Boot better have mounted on root or /boot ? Sven Hartge <sven@svenhartge.de> - 2021-04-08 13:30 +0200
  Re: Boot better have mounted on root or /boot ? Stefan Monnier <monnier@iro.umontreal.ca> - 2021-04-08 05:30 +0200
  Re: Boot better have mounted on root or /boot ? Andrei POPESCU <andreimpopescu@gmail.com> - 2021-04-08 08:20 +0200
    Re: Boot better have mounted on root or /boot ? Eike Lantzsch ZP6CGE <zp6cge@gmx.net> - 2021-04-08 13:30 +0200
      Re: Boot better have mounted on root or /boot ? Marco Ippolito <maroloccio@gmail.com> - 2021-04-08 14:40 +0200
        Re: Boot better have mounted on root or /boot ? David Wright <deblis@lionunicorn.co.uk> - 2021-04-11 16:20 +0200
          Re: Boot better have mounted on root or /boot ? Felix Miata <mrmazda@earthlink.net> - 2021-04-11 20:40 +0200
            Re: Boot better have mounted on root or /boot ? David Wright <deblis@lionunicorn.co.uk> - 2021-04-13 17:00 +0200
              Re: Boot better have mounted on root or /boot ? Felix Miata <mrmazda@earthlink.net> - 2021-04-14 01:20 +0200
            Re: Boot better have mounted on root or /boot ? Michael Stone <mstone@debian.org> - 2021-04-16 15:00 +0200
      Re: Boot better have mounted on root or /boot ? Andrei POPESCU <andreimpopescu@gmail.com> - 2021-04-09 08:10 +0200
        Re: Boot better have mounted on root or /boot ? <tomas@tuxteam.de> - 2021-04-09 09:20 +0200
          Re: Boot better have mounted on root or /boot ? Andrei POPESCU <andreimpopescu@gmail.com> - 2021-04-09 20:20 +0200
            Re: Boot better have mounted on root or /boot ? Dan Ritter <dsr@randomstring.org> - 2021-04-09 20:40 +0200
              Re: Boot better have mounted on root or /boot ? <tomas@tuxteam.de> - 2021-04-09 21:10 +0200
            Re: Boot better have mounted on root or /boot ? David Wright <deblis@lionunicorn.co.uk> - 2021-04-11 16:20 +0200

csiph-web