Well, unhappily I don't know how GRUB scripts work, but these aren't options for /etc/grub/default file. I think we can search the corresponding option on grub file, and modify it by editing these two entries: boot.loader.grub.extraConfig<http://nixos.org/nixos/manual/#opt-boot.loader.grub.extraConfig>
boot.loader.grub.extraEntries<http://nixos.org/nixos/manual/#opt-boot.loader.grub.extraEntries> boot.loader.grub.extraEntriesBeforeNixOS<http://nixos.org/nixos/manual/#opt-boot.loader.grub.extraEntriesBeforeNixOS> Well, this is only a sketch. Sorry by the lack of conciseness. Em 27/05/2014 06:54, "Anderson Torres" <[email protected]> escreveu: > > What about timeout var? > > Em 27/05/2014 06:41, "Anderson Torres" <[email protected]> escreveu: > >> I remember an option in c11n.nix about grub timeout. I am on a cellphone now, but try to search NixOS manual, section about c11n vars. >> >> Em 27/05/2014 06:28, "Roger Qiu" <[email protected]> escreveu: >>> >>> 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 >>> >>> _______________________________________________ >>> nix-dev mailing list >>> [email protected] >>> http://lists.science.uu.nl/mailman/listinfo/nix-dev >>>
_______________________________________________ nix-dev mailing list [email protected] http://lists.science.uu.nl/mailman/listinfo/nix-dev
