2009-09-25 21:55:08 +02:00
|
|
|
# Execute the game `rogue' on tty 9. Mostly used by the NixOS
|
|
|
|
# installation CD.
|
2009-01-09 00:49:22 +01:00
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
{ config, pkgs, ... }:
|
|
|
|
|
|
|
|
with pkgs.lib;
|
2009-01-09 00:49:22 +01:00
|
|
|
|
|
|
|
let
|
2009-06-10 14:53:45 +02:00
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
cfg = config.services.rogue;
|
|
|
|
|
|
|
|
in
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
{
|
|
|
|
###### interface
|
|
|
|
|
2009-01-09 00:49:22 +01:00
|
|
|
options = {
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-06-10 14:53:45 +02:00
|
|
|
services.rogue.enable = mkOption {
|
|
|
|
default = false;
|
|
|
|
description = ''
|
|
|
|
Whether to enable the Rogue game on one of the virtual
|
|
|
|
consoles.
|
|
|
|
'';
|
2009-01-09 00:49:22 +01:00
|
|
|
};
|
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
services.rogue.tty = mkOption {
|
|
|
|
default = "tty9";
|
2009-06-10 14:53:45 +02:00
|
|
|
description = ''
|
|
|
|
Virtual console on which to run Rogue.
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
|
|
|
|
};
|
2009-01-09 00:49:22 +01:00
|
|
|
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
###### implementation
|
2009-01-09 00:49:22 +01:00
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
config = mkIf cfg.enable {
|
2009-01-09 00:49:22 +01:00
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
boot.extraTTYs = [ cfg.tty ];
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-10-12 20:09:34 +02:00
|
|
|
jobs.rogue =
|
2009-10-12 19:27:57 +02:00
|
|
|
{ description = "Rogue dungeon crawling game";
|
2009-06-10 14:34:58 +02:00
|
|
|
|
2009-11-06 23:19:17 +01:00
|
|
|
startOn = "started udev";
|
2009-06-10 14:53:45 +02:00
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
extraConfig = "chdir /root";
|
2009-06-09 00:44:59 +02:00
|
|
|
|
2009-10-15 16:02:24 +02:00
|
|
|
exec = "${pkgs.rogue}/bin/rogue < /dev/${cfg.tty} > /dev/${cfg.tty} 2>&1";
|
2009-09-25 21:55:08 +02:00
|
|
|
};
|
|
|
|
|
|
|
|
services.ttyBackgrounds.specificThemes = singleton
|
|
|
|
{ tty = cfg.tty;
|
|
|
|
theme = pkgs.themes "theme-gnu";
|
|
|
|
};
|
2009-06-09 00:44:59 +02:00
|
|
|
|
2009-09-25 21:55:08 +02:00
|
|
|
};
|
2011-09-14 20:20:50 +02:00
|
|
|
|
2009-01-09 00:49:22 +01:00
|
|
|
}
|