help-grub
[Top][All Lists]
Advanced

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

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


From: Adam Vodopjan
Subject: Pathes starting with '+', what is it??
Date: Thu, 13 Jul 2023 02:04:44 +0300
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:102.0) Gecko/20100101 Thunderbird/102.13.0

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]