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' (⇒ configfile) or 'normal' (⇒normal). It is restored to the previous value when command completes.