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


Groups > linux.debian.user > #234150

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

From David Wright <deblis@lionunicorn.co.uk>
Newsgroups linux.debian.user
Subject Re: Boot better have mounted on root or /boot ?
Date 2021-04-13 17:00 +0200
Message-ID <C3sGe-7BT-9@gated-at.bofh.it> (permalink)
References (1 earlier) <C1wbf-6Af-1@gated-at.bofh.it> <C1B1f-12t-3@gated-at.bofh.it> <C1C6Z-1DY-7@gated-at.bofh.it> <C2J6p-2mz-1@gated-at.bofh.it> <C2Na2-4Hx-9@gated-at.bofh.it>
Organization linux.* mail to news gateway

Show all headers | View raw


On Sun 11 Apr 2021 at 14:33:22 (-0400), Felix Miata wrote:
> > On Thu 08 Apr 2021 at 14:37:59 (+0200), Marco Ippolito wrote:
> 
> >> What would you consider in your future planning regarding sizing /boot?
> 
> root@asa88:/boot# du -sh .
> 769M    .
> root@asa88:/boot# dpkg -l | grep linux-image-4 | wc -l
> 10

Perhaps it should be pointed out that it's atypical to maintain such
a large number of individual systems on one machine. ISTR your having
more than a score of root filesystem partitions on one of your disks …

> root@asa88:/boot# dpkg -l | grep linux-image-4
> ii  linux-image-4.19.0-1-amd64  4.19.12-1       amd64   Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-10-amd64 4.19.132-1      amd64   Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-12-amd64 4.19.152-1      amd64   Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-14-amd64 4.19.171-2      amd64   Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-2-amd64  4.19.16-1       amd64   Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-4-amd64  4.19.28-2       amd64   Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-5-amd64  4.19.37-5+deb10u2 amd64 Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-6-amd64  4.19.67-2+deb10u2 amd64 Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-8-amd64  4.19.98-1+deb10u1 amd64 Linux 4.19 for 64-bit PCs (signed)
> ii  linux-image-4.19.0-9-amd64  4.19.118-2+deb10u1 amd64 Linux 4.19 for 64-bit PCs (signed)

… and I suppose that the contents of one of these partitions might
explain why you might still boot, say, a 4.19.12 kernel.

> Keep in mind, on average, each kernel release is larger than the last.

True, both the kernel itself and the amount that gets put into the
initrd. But also bear in mind that:

. if these kernels are all for just one system (which they appear to be),
  several of the older ones could be uninstalled, but the .debs kept for
  later reinstallation if and when required,

. if the kernels were for many different systems on the one machine,
  the System.map/config/initrd.img/vmlinuz ensemble for several of
  them could simply be moved to the day-to-day system's archive,
  and copied back into place as and when required, to boot a
  different, less frequently used system.

I think it's rare indeed to have to choose between ten different
kernels at the drop of a hat when booting up one system. What would
the use case be?

Cheers,
David.

Back to linux.debian.user | Previous | NextPrevious in thread | Next 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