[Nix-dev] Regarding extra GRUB options in Configuration.nix

[Roger Qiu]

Hello,

In a configuration.nix, where would you be able to set GRUB options such as:

|GRUB_HIDDEN_TIMEOUT=0
GRUB_HIDDEN_TIMEOUT_QUIET=true|

The normal boot.loader.grub does not seem to have these functions?

Thanks,
Roger
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.science.uu.nl/pipermail/nix-dev/attachments/20140527/cd6a740e/attachment.html