On Fri, Jan 15, 2016 at 1:16 PM, Arbiel (gmx) <arbiel.perlacre...@gmx.fr> 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.
_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel
