help-grub
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Pathes starting with '+', what is it??


From: Randy Goldenberg
Subject: Re: Pathes starting with '+', what is it??
Date: Wed, 12 Jul 2023 18:29:39 -0700

https://www.gnu.org/software/grub/manual/grub/html_node/Block-list-syntax.html#Block-list-syntax

On Wed, Jul 12, 2023 at 5:36 PM Adam Vodopjan <adam.vodopjan@gmail.com> wrote:
>
> In corecmd.c I see such code:
>
>  81   if (argv[0][0] == '/' || argv[0][0] == '(' || argv[0][0] == '+')
>  82     mod = grub_dl_load_file (argv[0]);
>  83   else
>  84     mod = grub_dl_load (argv[0]);
>
>
> What are those pathes started with '+' ??
>
>
>



reply via email to

[Prev in Thread] Current Thread [Next in Thread]