> On Sep 29, 2023, at 12:58, Michael Brown wrote:
>
> On 29/09/2023 10:47, Marvin Häuser wrote:
>> Maybe when Linux starts adhering the spec for file names (the spec clearly
>> defines e.g. BOOTx64.EFI, while at least some distros/images use
>> bootx64.efi), this can be discussed. :) Let's n
On 29/09/2023 10:47, Marvin Häuser wrote:
Maybe when Linux starts adhering the spec for file names (the spec clearly
defines e.g. BOOTx64.EFI, while at least some distros/images use bootx64.efi),
this can be discussed. :) Let's not break various GRUB setups...
Seems slightly unfair to blame L
On Fri, Sep 29, 2023 at 10:47 AM Marvin Häuser wrote:
>
>
> > On Sep 28, 2023, at 19:57, Pedro Falcato wrote:
> >
> > On Wed, Sep 27, 2023 at 1:09 PM Gerd Hoffmann wrote:
> >>
> >> Hi,
> >>
> >> I've noticed that the edk2 ext4 driver does case-insensitive filename
> >> matching. I know the fat
> On Sep 28, 2023, at 19:57, Pedro Falcato wrote:
>
> On Wed, Sep 27, 2023 at 1:09 PM Gerd Hoffmann wrote:
>>
>> Hi,
>>
>> I've noticed that the edk2 ext4 driver does case-insensitive filename
>> matching. I know the fat filesystem is case-insensitive, and the uefi
>> spec describing the f
On Wed, Sep 27, 2023 at 1:09 PM Gerd Hoffmann wrote:
>
> Hi,
>
> I've noticed that the edk2 ext4 driver does case-insensitive filename
> matching. I know the fat filesystem is case-insensitive, and the uefi
> spec describing the fat filesystem also explicitly says it is
> case-insensitive. On
On 9/27/23 14:09, kraxel at redhat.com (Gerd Hoffmann) wrote:
> Hi,
>
> I've noticed that the edk2 ext4 driver does case-insensitive filename
> matching. I know the fat filesystem is case-insensitive, and the uefi
> spec describing the fat filesystem also explicitly says it is
> case-insensitiv
