0
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-07-13 21:50:33 +03:00

nixos-manual: Accept numbers for ttyNumber, closes #3608

This commit is contained in:
Graham Christensen 2016-02-21 14:26:07 -06:00
parent e63a3a6ad4
commit f57c049e0b

View file

@ -72,7 +72,8 @@ in
}; };
services.nixosManual.ttyNumber = mkOption { services.nixosManual.ttyNumber = mkOption {
default = "8"; type = types.int;
default = 8;
description = '' description = ''
Virtual console on which to show the manual. Virtual console on which to show the manual.
''; '';
@ -96,7 +97,7 @@ in
[ manual.manual help ] [ manual.manual help ]
++ optional config.programs.man.enable manual.manpages; ++ optional config.programs.man.enable manual.manpages;
boot.extraTTYs = mkIf cfg.showManual ["tty${cfg.ttyNumber}"]; boot.extraTTYs = mkIf cfg.showManual ["tty${toString cfg.ttyNumber}"];
systemd.services = optionalAttrs cfg.showManual systemd.services = optionalAttrs cfg.showManual
{ "nixos-manual" = { "nixos-manual" =
@ -106,7 +107,7 @@ in
{ ExecStart = "${cfg.browser} ${entry}"; { ExecStart = "${cfg.browser} ${entry}";
StandardInput = "tty"; StandardInput = "tty";
StandardOutput = "tty"; StandardOutput = "tty";
TTYPath = "/dev/tty${cfg.ttyNumber}"; TTYPath = "/dev/tty${toString cfg.ttyNumber}";
TTYReset = true; TTYReset = true;
TTYVTDisallocate = true; TTYVTDisallocate = true;
Restart = "always"; Restart = "always";