On Sun, Apr 02, 2017 at 05:06:20PM -0400, Leo Famulari wrote:
> Based on the GRUB manual [0], how about this plan?
> 
> We'd add these fields to (grub-configuration): 

[...]

NixOS has the user provide a string:

https://nixos.org/nixos/manual/options.html#opt-boot.loader.grub.extraConfig

It is much simpler than my plan...