[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Setting config_directory to prefix at grub launch time
From: |
Arbiel (gmx) |
Subject: |
Re: Setting config_directory to prefix at grub launch time |
Date: |
Fri, 15 Jan 2016 22:40:47 +0100 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.3.0 |
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.
> 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
signature.asc
Description: OpenPGP digital signature