Re: Why so big EFI partition?

2016-03-05 Thread Steve McIntyre
al...@otterhall.com wrote: >On 03/03/2016 12:55 AM, Steve McIntyre wrote: >> Basically, there are lots of >> reported (real and potential) issues with smaller sizes, so we've >> picked a larger size by default for the guided partitioning. > >I wasn't aware of the potential problems. Funny that

Re: Why so big EFI partition?

2016-03-02 Thread Albin Otterhäll
On 03/03/2016 12:55 AM, Steve McIntyre wrote: > Basically, there are lots of > reported (real and potential) issues with smaller sizes, so we've > picked a larger size by default for the guided partitioning. I wasn't aware of the potential problems. Funny that Ubuntu's documentation still

Re: Why so big EFI partition?

2016-03-02 Thread Steve McIntyre
al...@otterhall.com wrote: >On 03/02/2016 07:42 PM, Pascal Hambourg wrote: >> There is no ratio. 500 MB is the generally recommended size for the EFI >> system partition even though the Debian GRUB EFI bootloader needs much >> less, and 250 MB for /boot is one of the questionable arbitrary choices

Re: Why so big EFI partition?

2016-03-02 Thread SamuelOPH
2016-03-02 20:16 GMT-03:00 Albin Otterhäll : > But I don't yet understand why someone would use systemd-boot instead of > the default boot manager instead of the default one? I'm reading the > Arch Wiki article[1], but it doesn't discuss _why_ you would like to use > it. >

Re: Why so big EFI partition?

2016-03-02 Thread Albin Otterhäll
On 03/02/2016 11:57 PM, SamuelOPH wrote: > ​They are on a "default" use case, but if you're using systemd-boot you are > responsible for configuring a nice way to keep only the last kernel images > on the ESP (it's not hard to do)​ and automagically update it. > > If you're using the Debian's

Re: Why so big EFI partition?

2016-03-02 Thread SamuelOPH
2016-03-02 19:42 GMT-03:00 Albin Otterhäll : > Doesn't old kernel images get removed after some time? ​They are on a "default" use case, but if you're using systemd-boot you are responsible for configuring a nice way to keep only the last kernel images on the ESP (it's not

Re: Why so big EFI partition?

2016-03-02 Thread Albin Otterhäll
On 03/02/2016 11:37 PM, SamuelOPH wrote: > ​I believe you mean ESP (EFI System Partition) Haha, you are correct. :) > [...] this limit will grow with time with initramfs and vmlinuz getting bigger [---] Doesn't old kernel images get removed after some time?

Re: Why so big EFI partition?

2016-03-02 Thread SamuelOPH
2016-03-02 19:31 GMT-03:00 Albin Otterhäll : > So a EPA partition with 128MiB is more than enough? ​I believe you mean ESP (EFI System Partition), and from my point of view (I don't known any case where one should need more) 128MiB is enough with a broad margin.​ Of course

Re: Why so big EFI partition?

2016-03-02 Thread Albin Otterhäll
On 03/02/2016 11:24 PM, SamuelOPH wrote: > 20MB for storing both files for one kernel version So a EPA partition with 128MiB is more than enough?

Re: Why so big EFI partition?

2016-03-02 Thread SamuelOPH
2016-03-02 19:17 GMT-03:00 Albin Otterhäll : > What does systemd-boot and initramfs do? And how much space does they take? ​First of all, when i said kernel i mean the compressed kernel image (vmlinuz). So these two files are used to boot your system, each opearting system

Re: Why so big EFI partition?

2016-03-02 Thread Albin Otterhäll
On 03/02/2016 11:05 PM, SamuelOPH wrote: > [---] if you wanna use systemd-boot your kernel and initramfs [---] What does systemd-boot and initramfs do? And how much space does they take?

Re: Why so big EFI partition?

2016-03-02 Thread SamuelOPH
Actually, if you wanna use systemd-boot your kernel and initramfs must be stored on the ESP. But anyway 500MB looks like overkill. Samuel Henrique O. P. [samueloph] Técnico em Informática - UTFPR [2012]. Estudante de Engenharia de Computação - UTFPR. 2016-03-02 19:01 GMT-03:00 Albin Otterhäll

Re: Why so big EFI partition?

2016-03-02 Thread Albin Otterhäll
On 03/02/2016 07:42 PM, Pascal Hambourg wrote: > There is no ratio. 500 MB is the generally recommended size for the EFI > system partition even though the Debian GRUB EFI bootloader needs much > less, and 250 MB for /boot is one of the questionable arbitrary choices > that the guided mode does

Re: Why so big EFI partition?

2016-03-02 Thread Pascal Hambourg
> On 02/03/16 08:42 AM, Albin Otterhäll wrote: >> When doing a guided partition when installing debian, the >> debian-installer creates a EFI (/boot/efi) partition with approximately >> 500MB, and a /boot partition with around 250MB. Why this weird ratio >> between them? There is no ratio. 500 MB

Re: Why so big EFI partition?

2016-03-02 Thread Gary Dale
On 02/03/16 08:42 AM, Albin Otterhäll wrote: When doing a guided partition when installing debian, the debian-installer creates a EFI (/boot/efi) partition with approximately 500MB, and a /boot partition with around 250MB. Why this weird ratio between them? To my knowledge only the

Why so big EFI partition?

2016-03-02 Thread Albin Otterhäll
When doing a guided partition when installing debian, the debian-installer creates a EFI (/boot/efi) partition with approximately 500MB, and a /boot partition with around 250MB. Why this weird ratio between them? To my knowledge only the bootloader(s) in located on the /boot/efi partition, and