15.1.7 config_directory ----------------------- This variable is automatically set by GRUB to the directory part of current configuration file name (⇒config_file).