Re: /boot disk partition size

2022-02-21 Thread Michael Mikowski
or is warranted given how expensive recovery is for most users. I hope you find that useful, Brian, and thank you for your consideration. Sincerely, Mike On Mon, Feb 21, 2022 at 12:19 PM Brian Murray wrote: > On Tue, Feb 15, 2022 at 10:47:59PM -0800, Michael Mikowski wrote: > > Hi

Re: /boot disk partition size

2022-02-17 Thread Michael Mikowski
rom ProtonMail mobile > > > > Original Message ---- > On Feb 14, 2022, 03:45, Michael Mikowski < mmikow...@kfocus.org> wrote: > > > Hi Everyone: > > Members of the ubuntu-meeting asked me to clarify the issue with /boot. > You can see the bugs filed at https://launchp

/boot disk partition size

2022-02-14 Thread Michael Mikowski
Hi Everyone: Members of the ubuntu-meeting asked me to clarify the issue with /boot. You can see the bugs filed at https://launchpad.net/bugs/1959971 and https://launchpad.net/bugs/1960089. *Personal Background:* I currently lead the Kubuntu Focus engineering efforts, and

Re: /boot disk partition size

2022-02-22 Thread Michael Mikowski
at 02:44:14PM -0800, Michael Mikowski wrote: > > Hi Brian: > > > > First, let me state the title of the bug I filed was unfortunate and I’ve > > changed it accordingly. The body of the request shows that it is a > proposal > > to increase the /boot partition size,