hydra-module: Add a `logo' option.

This commit is contained in:
Ludovic Courtès 2011-05-05 10:07:59 +00:00
parent dc9a118a04
commit d4664fd759

View file

@ -18,6 +18,9 @@ let
+ ''HYDRA_CONFIG=${cfg.baseDir}/data/hydra.conf '' + ''HYDRA_CONFIG=${cfg.baseDir}/data/hydra.conf ''
+ ''HYDRA_DATA=${cfg.baseDir}/data '' + ''HYDRA_DATA=${cfg.baseDir}/data ''
+ ''HYDRA_PORT="${toString cfg.port}" '' + ''HYDRA_PORT="${toString cfg.port}" ''
+ ${if cfg.logo != null
then ''HYDRA_LOGO="${cfg.logo}" ''
else ""}
+ ''HYDRA_TRACKER="${cfg.tracker}" ;''; + ''HYDRA_TRACKER="${cfg.tracker}" ;'';
in in
@ -50,8 +53,9 @@ in
dbi = mkOption { dbi = mkOption {
default = "dbi:Pg:dbname=hydra;host=localhost;user=root;"; default = "dbi:Pg:dbname=hydra;host=localhost;user=root;";
example = "dbi:SQLite:/home/hydra/db/hydra.sqlite";
description = '' description = ''
The DBI string for Hydra database connection The DBI string for Hydra database connection.
''; '';
}; };
@ -102,8 +106,15 @@ in
description = '' description = ''
Piece of HTML that is included on all pages. Piece of HTML that is included on all pages.
''; '';
}; };
logo = mkOption {
default = null;
description = ''
File name of an alternate logo to be displayed on the web pages.
'';
};
autoStart = mkOption { autoStart = mkOption {
default = true; default = true;
description = '' description = ''