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
Le 15/01/2016 12:32, Arbiel (gmx) a écrit :
>
> Le 15/01/2016 11:22, Andrei Borzenkov a écrit :
>> On Fri, Jan 15, 2016 at 1:16 PM, Arbiel (gmx)
>> wrote:
>>> In the Ubuntu distributions, there is a /etc/grub.d/41_custom which
>>> creates the following
Le 15/01/2016 11:22, Andrei Borzenkov a écrit :
> On Fri, Jan 15, 2016 at 1:16 PM, Arbiel (gmx)
> wrote:
>> In the Ubuntu distributions, there is a /etc/grub.d/41_custom which
>> creates the following lines in the grub configuration file
>>
>> ### BEGIN /etc/g
In the Ubuntu distributions, there is a /etc/grub.d/41_custom which
creates the following lines in the grub configuration file
### BEGIN /etc/grub.d/41_custom ###
if [ -f ${config_directory}/custom.cfg ]; then
source ${config_directory}/custom.cfg
elif [ -z "${config_directory}" -a -f $prefix/
Le 07/11/2015 21:09, Andrei Borzenkov a écrit :
> 07.11.2015 22:51, Arbiel (gmx) пишет:
>> Hi
>>
>> There seems to be other variables and command parameters which lack
>> documentation.
>>
>> Here is a list of such variables found in my grub.cfg
Hi
There seems to be other variables and command parameters which lack
documentation.
Here is a list of such variables found in my grub.cfg files (I have
discarded "save_env"ed variables, obviously environment variables) and
which are not set in the environment block
${feature_menuentry_id}
${bo
Hi
Apparently, you are in charge of maintaining bootinfoscript.
It turns out that the script does not correctly discriminate grub2's
versions 1.99 and 2.00.
To understand why, I've studied the release available for download at
http://sourceforge.net/p/bootinfoscript/code/ci/master/tree/
and used
