On 07.12.2013 20:51, Andrey Borzenkov wrote:
> May be it makes sense to generate full pathname (including device part)
> so that interpretation of $config_directory does not depend on possible
> change of $root.
Adding ($root) to config_file/config_directory if none present would be
good.
signat
On 07.12.2013 20:51, Andrey Borzenkov wrote:
> It is legal to use "configfile " where filename does
> not contain directory part. In this case config_directory is set to filename.
> Set it to empty string so $config_directory/file works as expected.
>
The only filenames valid in GRUB are of forms:
It is legal to use "configfile " where filename does
not contain directory part. In this case config_directory is set to filename.
Set it to empty string so $config_directory/file works as expected.
May be it makes sense to generate full pathname (including device part)
so that interpretation of $
