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.


Attachment: signature.asc
Description: OpenPGP digital signature

_______________________________________________
Grub-devel mailing list
Grub-devel@gnu.org
https://lists.gnu.org/mailman/listinfo/grub-devel

Reply via email to