[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [PATCH] Add support for specifying the boot device by label
From: |
darkpenguin |
Subject: |
Re: [PATCH] Add support for specifying the boot device by label |
Date: |
Wed, 27 Sep 2023 11:05:19 +0000 |
Oh, so that's how you send them! Thanks, I did not know the correct
procedure.
On 27/09/23 14:16, Daniel Kiper wrote:
> On Wed, Sep 27, 2023 at 06:51:38AM +0000, darkpenguin wrote:
>> Here is an updated patch that uses GRUB_ENABLE_LINUX_LABEL=true instead.
>>
>> Supporting whitespace or other symbols in the label doesn't make sense
>> until we can figure out how to properly specify them in grub.cfg - so
>> far, nothing I've tried works (escaping, quoting, %20, \x20).
>
> I suggest to repost this patch using "git format-patch" and
> "git send-email" commands with proper commit message and CC
> all people involved in this thread.
>
> Daniel
>
> _______________________________________________
> Grub-devel mailing list
> Grub-devel@gnu.org
> https://lists.gnu.org/mailman/listinfo/grub-devel
>
- Re: [PATCH] Add support for specifying the boot device by label, (continued)
Re: [PATCH] Add support for specifying the boot device by label, Vladimir 'phcoder' Serbinenko, 2023/09/10
- Re: [PATCH] Add support for specifying the boot device by label, darkpenguin, 2023/09/11
- Re: [PATCH] Add support for specifying the boot device by label, darkpenguin, 2023/09/26
- Re: [PATCH] Add support for specifying the boot device by label, Vladimir 'phcoder' Serbinenko, 2023/09/27
- Re: [PATCH] Add support for specifying the boot device by label, darkpenguin, 2023/09/27
- Re: [PATCH] Add support for specifying the boot device by label, Vladimir 'phcoder' Serbinenko, 2023/09/27
Re: [PATCH] Add support for specifying the boot device by label, Olaf Hering, 2023/09/11