Setting config_directory to prefix at grub launch time

2016-01-15 Thread Arbiel (gmx)
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/

Re: Setting config_directory to prefix at grub launch time

2016-01-15 Thread Andrei Borzenkov
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/grub.d/41_custom ### > if [ -f ${config_directory}/custom.cfg ]; then > source ${config_dire

Re: Setting config_directory to prefix at grub launch time

2016-01-15 Thread Arbiel (gmx)
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/grub.d/41_custom ### >> if [ -f ${c

Re: Setting config_directory to prefix at grub launch time

2016-01-15 Thread Arbiel (gmx)
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 lines in the grub configuration file >>>

Re: Setting config_directory to prefix at grub launch time

2016-01-15 Thread Andrei Borzenkov
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. When you are in CLI, there is no config file, so it is not set. E

Re: Setting config_directory to prefix at grub launch time

2016-01-15 Thread 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 u

Re: Setting config_directory to prefix at grub launch time

2016-01-15 Thread Andrei Borzenkov
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 fi