grub: config_file

 
 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.