15.1.8 config_file

This variable is automatically set by GRUB to the name of configuration file that is being processed by commands configfile (see configfile) or normal (see normal). It is restored to the previous value when command completes.