Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-14 Thread Jonathan Dowland
On Sat, May 09, 2020 at 08:05:48PM -0700, Rick Thomas wrote: NAME MAJ:MIN RM SIZE RO TYPE MOUNTPOINT ├─sda1 8:10 512M 0 part /boot/efi ├─sda2 8:20 244M 0 part /boot What's the best way to increase the size of /boot ? First,

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread Celejar
On Mon, 11 May 2020 11:21:35 -0500 David Wright wrote: > On Mon 11 May 2020 at 10:27:48 (-0400), Celejar wrote: ... > > Yes. FDE including boot is doable, but it takes more work (and isn't > > necessarily worth it, depending on the threat model - see above): > > I don't encrypt root because

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread David Wright
On Mon 11 May 2020 at 10:27:48 (-0400), Celejar wrote: > On Mon, 11 May 2020 07:36:27 -0400 Greg Wooledge wrote: > > On Sat, May 09, 2020 at 10:05:40PM -0700, Will Mengarini wrote: > > > * Rick Thomas [20-05/09=Sa 20:05 -0700]: > > > > [...] died for lack of space in /boot [...] > > > > > >

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread Celejar
On Mon, 11 May 2020 07:36:27 -0400 Greg Wooledge wrote: > On Sat, May 09, 2020 at 10:05:40PM -0700, Will Mengarini wrote: > > * Rick Thomas [20-05/09=Sa 20:05 -0700]: > > > [...] died for lack of space in /boot [...] > > > > Long ago I stopped bothering with a separate /boot, and behold, I yet

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread Andrei POPESCU
On Lu, 11 mai 20, 01:09:46, David Christensen wrote: > On 2020-05-10 23:12, Andrei POPESCU wrote: > > On Du, 10 mai 20, 12:30:29, David Christensen wrote: > > > > > > As for using GRML, I have never heard of it. The Debian Installer can get > > > the job done. That said, I have about a half

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread Greg Wooledge
On Sat, May 09, 2020 at 10:05:40PM -0700, Will Mengarini wrote: > * Rick Thomas [20-05/09=Sa 20:05 -0700]: > > [...] died for lack of space in /boot [...] > > Long ago I stopped bothering with a separate /boot, and behold, I yet > live. ISTR the Debian installer doesn't default to creating one

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread David Christensen
On 2020-05-10 23:12, Andrei POPESCU wrote: On Du, 10 mai 20, 12:30:29, David Christensen wrote: As for using GRML, I have never heard of it. The Debian Installer can get the job done. That said, I have about a half dozen machines and have been feeling the need for installation and deployment

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread David Christensen
On 2020-05-10 15:53, Rick Thomas wrote: On Sun, May 10, 2020, at 12:30 PM, David Christensen wrote: As for using GRML, I have never heard of it. The Debian Installer can get the job done. GRML [1] says: "Grml is a bootable live system (Live-CD) based on Debian. Grml includes a

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread Andrei POPESCU
On Du, 10 mai 20, 12:30:29, David Christensen wrote: > > As for using GRML, I have never heard of it. The Debian Installer can get > the job done. That said, I have about a half dozen machines and have been > feeling the need for installation and deployment automation. I have heard of > Puppet

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-11 Thread Andrei POPESCU
On Du, 10 mai 20, 04:03:29, Rick Thomas wrote: > On Sun, May 10, 2020, at 3:22 AM, Andrei POPESCU wrote: > > On Du, 10 mai 20, 02:02:45, Rick Thomas wrote: > > > So... Here's another question: > > > > > > Why is the default size of /boot, as created by the installer, so > > > small? Disk (even

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread elvis
Old ways die hard, disk space is cheap! these days On 10/5/20 1:53 pm, The Wanderer wrote: On 2020-05-09 at 23:36, Andy Smith wrote: Hi Rick, On Sat, May 09, 2020 at 08:05:48PM -0700, Rick Thomas wrote: What's the best way to increase the size of /boot ? There is no easy way. If you boot

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread elvis
On 11/5/20 8:53 am, Rick Thomas wrote: On Sun, May 10, 2020, at 12:30 PM, David Christensen wrote: As for using GRML, I have never heard of it. The Debian Installer can get the job done. GRML [1] says: "Grml is a bootable live system (Live-CD) based on Debian. Grml includes a collection

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Tom Dial
On 5/10/20 03:07, Rick Thomas wrote: > On Sun, May 10, 2020, at 1:17 AM, David Christensen wrote: >> On 2020-05-09 22:05, Will Mengarini wrote: >>> * Rick Thomas [20-05/09=Sa 20:05 -0700]: What's the best way to increase the size of /boot? >>> By creating a reliable backup and

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Rick Thomas
On Sun, May 10, 2020, at 12:30 PM, David Christensen wrote: > As for using GRML, I have never heard of it. The Debian Installer can > get the job done. GRML [1] says: "Grml is a bootable live system (Live-CD) based on Debian. Grml includes a collection of GNU/Linux software especially

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread David Christensen
On 2020-05-10 02:07, Rick Thomas wrote: On Sun, May 10, 2020, at 1:17 AM, David Christensen wrote: On 2020-05-09 22:05, Will Mengarini wrote: * Rick Thomas [20-05/09=Sa 20:05 -0700]: What's the best way to increase the size of /boot? By creating a reliable backup and reformatting the disk

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread David Wright
On Sun 10 May 2020 at 16:30:56 (+0200), Sven Hartge wrote: > David Wright wrote: > > > If the answer is many, you could shrink some of them by rebuilding > > their initrd.img files with MODULES=dep, which could reduce each > > kernel's size from ~40M to <10M. > > While this will reduce this

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Sven Hartge
David Wright wrote: > If the answer is many, you could shrink some of them by rebuilding > their initrd.img files with MODULES=dep, which could reduce each > kernel's size from ~40M to <10M. While this will reduce this initrd size, you should also mention the consequences of doing this: It

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread David Wright
On Sat 09 May 2020 at 20:05:48 (-0700), Rick Thomas wrote: > I recently did a "apt update ; apt upgrade" and it died for lack of space in > /boot when trying to install the latest kernel. > > I purged a couple of old kernel packages (still present in the 'stable' repo, > so they weren't

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread rhkramer
On Sunday, May 10, 2020 05:07:24 AM Rick Thomas wrote: > > > * Rick Thomas [20-05/09=Sa 20:05 -0700]: > > >> What's the best way to increase the size of /boot? > Yeah, that's probably what I'll do. Fortunately, it's an amd64 machine, so > I'll be able to use GRML to do the work. Enjoy!

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Rick Thomas
On Sun, May 10, 2020, at 3:22 AM, Andrei POPESCU wrote: > On Du, 10 mai 20, 02:02:45, Rick Thomas wrote: > > So... Here's another question: > > > > Why is the default size of /boot, as created by the installer, so > > small? Disk (even SSD) is cheap enough these days that the default > > size

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Andrei POPESCU
On Du, 10 mai 20, 02:02:45, Rick Thomas wrote: > So... Here's another question: > > Why is the default size of /boot, as created by the installer, so > small? Disk (even SSD) is cheap enough these days that the default > size could be as much as a GB without great pain. > > Has this been

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Rick Thomas
On Sun, May 10, 2020, at 1:17 AM, David Christensen wrote: > On 2020-05-09 22:05, Will Mengarini wrote: > > * Rick Thomas [20-05/09=Sa 20:05 -0700]: > >> What's the best way to increase the size of /boot? > > By creating a reliable backup and reformatting the disk to > > the new format. I've

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Rick Thomas
So... Here's another question: Why is the default size of /boot, as created by the installer, so small? Disk (even SSD) is cheap enough these days that the default size could be as much as a GB without great pain. Has this been thought about by the PTBs? Was there a discussion of possibly

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Will Mengarini
* Rick Thomas [20-05/09=Sa 20:05 -0700]: > [...] died for lack of space in /boot [...] Long ago I stopped bothering with a separate /boot, and behold, I yet live. ISTR the Debian installer doesn't default to creating one either. If you really want a bastion filesystem for booting, I suggest it

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread David Christensen
On 2020-05-09 22:05, Will Mengarini wrote: * Rick Thomas [20-05/09=Sa 20:05 -0700]: What's the best way to increase the size of /boot? By creating a reliable backup and reformatting the disk to the new format. I've never found it to be cost-effective to try anything else. +1 I don't

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Rick Thomas
> Consider the time you've spent posing this question, waiting for the > answers, and reading them. Dump and reload might've finished already. True, but I wouldn't have learned half so much and wouldn't have had a third so much had so much fun learning it! Stay safe!

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Rick Thomas
On Sat, May 9, 2020, at 9:10 PM, Charles Curley wrote: > On Sat, 09 May 2020 20:05:48 -0700 > "Rick Thomas" wrote: > > > Filesystem Type Size Used Avail Use% Mounted on > > /dev/mapper/debian--vg-root ext4 30G 9.9G 19G 36% / > > /dev/sda2

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-10 Thread Andrei POPESCU
On Sb, 09 mai 20, 22:05:40, Will Mengarini wrote: > * Rick Thomas [20-05/09=Sa 20:05 -0700]: > > [...] died for lack of space in /boot [...] > > Long ago I stopped bothering with a separate /boot, and behold, I yet > live. ISTR the Debian installer doesn't default to creating one > either.

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-09 Thread Charles Curley
On Sat, 09 May 2020 20:05:48 -0700 "Rick Thomas" wrote: > Filesystem Type Size Used Avail Use% Mounted on > /dev/mapper/debian--vg-root ext4 30G 9.9G 19G 36% / > /dev/sda2 ext2 248M 78M 158M 34% /boot Odd. That should be good for more

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-09 Thread The Wanderer
On 2020-05-09 at 23:36, Andy Smith wrote: > Hi Rick, > > On Sat, May 09, 2020 at 08:05:48PM -0700, Rick Thomas wrote: >> What's the best way to increase the size of /boot ? > > There is no easy way. If you boot into a live/rescue environment and > run parted you *may* be able to shrink your

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-09 Thread Andy Smith
Another thought that is maybe a little outside the box: If your BIOS supports booting from USB or media slot then you could maybe make a new boot partition on one of those devices and switch to booting from that from now on. Ties up a USB or media slot forever of course, but possibly an

Re: Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-09 Thread Andy Smith
Hi Rick, On Sat, May 09, 2020 at 08:05:48PM -0700, Rick Thomas wrote: > What's the best way to increase the size of /boot ? There is no easy way. If you boot into a live/rescue environment and run parted you *may* be able to shrink your LVM and grow your /boot but it's a procedure fraught with

Hmmm... /boot is too small. what's the best way to increase it's size?

2020-05-09 Thread Rick Thomas
I recently did a "apt update ; apt upgrade" and it died for lack of space in /boot when trying to install the latest kernel. I purged a couple of old kernel packages (still present in the 'stable' repo, so they weren't obsolete) to make enough space and tried again. Worked this time, but I