From 363c846d778942c8025bbd7c72b9ec1a1979da44 Mon Sep 17 00:00:00 2001 From: lassulus Date: Fri, 23 Jun 2023 16:57:03 +0200 Subject: nixos/iso-image: make graphical grub configurable --- nixos/modules/installer/cd-dvd/iso-image.nix | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) (limited to 'nixos/modules/installer/cd-dvd/iso-image.nix') diff --git a/nixos/modules/installer/cd-dvd/iso-image.nix b/nixos/modules/installer/cd-dvd/iso-image.nix index f9cbafc2865..5fdee20f55b 100644 --- a/nixos/modules/installer/cd-dvd/iso-image.nix +++ b/nixos/modules/installer/cd-dvd/iso-image.nix @@ -283,7 +283,7 @@ let cat < $out/EFI/boot/grub.cfg set with_fonts=false - set textmode=false + set textmode=${boolToString !config.isoImage.graphicalGrub} # If you want to use serial for "terminal_*" commands, you need to set one up: # Example manual configuration: # → serial --unit=0 --speed=115200 --word=8 --parity=no --stop=1 @@ -658,6 +658,16 @@ in ''; }; + isoImage.graphicalGrub = mkOption { + default = false; + type = types.bool; + example = true; + description = lib.mdDoc '' + Whether to use textmode or graphical grub. + false means we use textmode grub. + ''; + }; + }; # store them in lib so we can mkImageMediaOverride the -- cgit 1.4.1