[Top][All Lists]

[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: Fri, 15 Jan 2016 13:22:35 +0300

On Fri, Jan 15, 2016 at 1:16 PM, Arbiel (gmx) <address@hidden> 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_directory}/custom.cfg
> elif [ -z "${config_directory}" -a -f  $prefix/custom.cfg ]; then
>   source $prefix/custom.cfg;
> fi
> ### END /etc/grub.d/41_custom ###
> In the custom.cfg file, I use the source command to insert some private
> scripts stored in a ${prefix}/greffons/ directory. However, when the
> configuration file has been the target of a configfile command, the
> source of my private scripts becomes ${config_file}/greffons/. To be
> compatible to all situations, I need to have config_file set to prefix
> at the beginning of grub's running, as at this very moment prefix also
> is the directory of the configuration file.

config_directory is managed by grub to point to current source of
configuration. If you always need to use prefix, just always use
prefix. I'm afraid I do not understand the problem.

reply via email to

[Prev in Thread] Current Thread [Next in Thread]