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