diff options
author | lassulus <git@lassul.us> | 2023-06-23 16:57:03 +0200 |
---|---|---|
committer | lassulus <git@lassul.us> | 2023-06-29 14:35:54 +0200 |
commit | 363c846d778942c8025bbd7c72b9ec1a1979da44 (patch) | |
tree | ca2a532733dc326c40075203cd6f10c0ae04a275 /nixos/modules/installer/cd-dvd/iso-image.nix | |
parent | bf3b55a6b87bb574f4a925fd5ec515dd70ca29ae (diff) | |
download | nixpkgs-363c846d778942c8025bbd7c72b9ec1a1979da44.tar nixpkgs-363c846d778942c8025bbd7c72b9ec1a1979da44.tar.gz nixpkgs-363c846d778942c8025bbd7c72b9ec1a1979da44.tar.bz2 nixpkgs-363c846d778942c8025bbd7c72b9ec1a1979da44.tar.lz nixpkgs-363c846d778942c8025bbd7c72b9ec1a1979da44.tar.xz nixpkgs-363c846d778942c8025bbd7c72b9ec1a1979da44.tar.zst nixpkgs-363c846d778942c8025bbd7c72b9ec1a1979da44.zip |
nixos/iso-image: make graphical grub configurable
Diffstat (limited to 'nixos/modules/installer/cd-dvd/iso-image.nix')
-rw-r--r-- | nixos/modules/installer/cd-dvd/iso-image.nix | 12 |
1 files changed, 11 insertions, 1 deletions
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 <<EOF > $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 |