[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Setting config_directory to prefix at grub launch time
From: |
Andrei Borzenkov |
Subject: |
Re: Setting config_directory to prefix at grub launch time |
Date: |
Sat, 16 Jan 2016 09:25:21 +0300 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.4.0 |
16.01.2016 00:40, Arbiel (gmx) пишет:
>
>
> Le 15/01/2016 18:12, Andrei Borzenkov a écrit :
>> 15.01.2016 17:18, Arbiel (gmx) пишет:
>>> However, I confirm config_directory is not listed in the output of the
>>> set command.
>> That's correct. config_directory is set when executing config file and
>> unset when processing is completed.
> I understand the processing of a file to come to its end when grub
> displays its menu.
Yes. At this point config_directory gets unset before displaying menu,
if any menu was defined during config file processing.
>> When you are in CLI, there is no
>> config file, so it is not set. Each configfile command is executed in
>> own environment which is destroyed when it is finished. You may have
>> multiple (also nested) configfile invocations. What would you set it
>> to?
> I'm just happy with that. I only made a wrong deduction based on the
> fact that I did not see config_directory in the set's output.
>> config_directory has no meaningful value outside of configfile
>> processing.
> That's clear.
>>
>>
>>
>> _______________________________________________
>> Grub-devel mailing list
>> address@hidden
>> https://lists.gnu.org/mailman/listinfo/grub-devel
>
>
>
>
> _______________________________________________
> Grub-devel mailing list
> address@hidden
> https://lists.gnu.org/mailman/listinfo/grub-devel
>
signature.asc
Description: OpenPGP digital signature