2015-07-24 10:23:52 +00:00
|
|
|
{ lib, ... }:
|
|
|
|
|
2015-09-27 13:24:41 +00:00
|
|
|
with builtins;
|
2015-07-24 10:23:52 +00:00
|
|
|
with lib;
|
|
|
|
with types;
|
|
|
|
|
|
|
|
types // rec {
|
|
|
|
|
2015-09-27 13:24:41 +00:00
|
|
|
host = submodule ({ config, ... }: {
|
2015-07-24 10:23:52 +00:00
|
|
|
options = {
|
|
|
|
name = mkOption {
|
|
|
|
type = label;
|
|
|
|
};
|
|
|
|
dc = mkOption {
|
|
|
|
type = label;
|
|
|
|
};
|
|
|
|
cores = mkOption {
|
|
|
|
type = positive;
|
|
|
|
};
|
|
|
|
nets = mkOption {
|
|
|
|
type = attrsOf net;
|
|
|
|
};
|
2015-08-13 10:03:59 +00:00
|
|
|
|
2015-08-13 20:28:21 +00:00
|
|
|
extraZones = mkOption {
|
|
|
|
default = {};
|
|
|
|
# TODO: string is either MX, NS, A or AAAA
|
|
|
|
type = with types; attrsOf string;
|
|
|
|
};
|
2015-09-26 22:22:50 +00:00
|
|
|
|
|
|
|
infest = {
|
|
|
|
addr = mkOption {
|
|
|
|
type = str;
|
2015-10-01 12:59:58 +00:00
|
|
|
apply = trace "Obsolete option `krebs.hosts.${config.name}.infest.addr' is used. It was replaced by the `target' argument to `make` or `get`. See Makefile for more information.";
|
2015-09-26 22:22:50 +00:00
|
|
|
};
|
|
|
|
port = mkOption {
|
|
|
|
type = int;
|
|
|
|
default = 22;
|
2015-10-01 12:59:58 +00:00
|
|
|
# TODO replacement: allow target with port, SSH-style: [lol]:666
|
|
|
|
apply = trace "Obsolete option `krebs.hosts.${config.name}.infest.port' is used. It's gone without replacement.";
|
2015-09-26 22:22:50 +00:00
|
|
|
};
|
|
|
|
};
|
2015-08-13 20:28:21 +00:00
|
|
|
|
2015-07-24 16:36:16 +00:00
|
|
|
secure = mkOption {
|
|
|
|
type = bool;
|
|
|
|
default = false;
|
|
|
|
description = ''
|
|
|
|
If true, then the host is capable of keeping secret information.
|
|
|
|
|
|
|
|
TODO define minimum requirements for secure hosts
|
|
|
|
'';
|
|
|
|
};
|
2015-09-27 13:24:41 +00:00
|
|
|
|
|
|
|
ssh.pubkey = mkOption {
|
|
|
|
type = nullOr str;
|
|
|
|
default = null;
|
|
|
|
apply = x:
|
|
|
|
if x != null
|
|
|
|
then x
|
|
|
|
else trace "The option `krebs.hosts.${config.name}.ssh.pubkey' is unused." null;
|
|
|
|
};
|
|
|
|
ssh.privkey = mkOption {
|
2015-09-27 14:15:53 +00:00
|
|
|
type = nullOr (submodule {
|
|
|
|
options = {
|
|
|
|
bits = mkOption {
|
|
|
|
type = nullOr (enum ["4096"]);
|
|
|
|
default = null;
|
|
|
|
};
|
|
|
|
path = mkOption {
|
|
|
|
type = either path str;
|
|
|
|
apply = x: {
|
|
|
|
path = toString x;
|
|
|
|
string = x;
|
|
|
|
}.${typeOf x};
|
|
|
|
};
|
|
|
|
type = mkOption {
|
|
|
|
type = enum ["rsa" "ed25519"];
|
|
|
|
default = "ed25519";
|
|
|
|
};
|
|
|
|
};
|
|
|
|
});
|
|
|
|
default = null;
|
2015-09-27 13:24:41 +00:00
|
|
|
};
|
2015-07-24 10:23:52 +00:00
|
|
|
};
|
2015-09-27 13:24:41 +00:00
|
|
|
});
|
2015-07-24 10:23:52 +00:00
|
|
|
|
|
|
|
net = submodule ({ config, ... }: {
|
|
|
|
options = {
|
|
|
|
via = mkOption {
|
|
|
|
type = nullOr net;
|
|
|
|
default = null;
|
|
|
|
};
|
|
|
|
addrs = mkOption {
|
|
|
|
type = listOf addr;
|
2015-08-20 06:34:22 +00:00
|
|
|
default = config.addrs4 ++ config.addrs6;
|
|
|
|
# TODO only default addrs make sense
|
2015-07-24 10:23:52 +00:00
|
|
|
};
|
|
|
|
addrs4 = mkOption {
|
|
|
|
type = listOf addr4;
|
|
|
|
default = [];
|
|
|
|
};
|
|
|
|
addrs6 = mkOption {
|
|
|
|
type = listOf addr6;
|
|
|
|
default = [];
|
|
|
|
};
|
|
|
|
aliases = mkOption {
|
|
|
|
# TODO nonEmptyListOf hostname
|
|
|
|
type = listOf hostname;
|
2015-09-27 13:24:41 +00:00
|
|
|
default = [];
|
|
|
|
};
|
|
|
|
ssh = mkOption {
|
|
|
|
type = submodule {
|
|
|
|
options = {
|
|
|
|
port = mkOption {
|
|
|
|
type = nullOr int;
|
|
|
|
default = null;
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
default = {};
|
2015-07-24 10:23:52 +00:00
|
|
|
};
|
|
|
|
tinc = mkOption {
|
2015-07-27 00:45:03 +00:00
|
|
|
type = let net-config = config; in nullOr (submodule ({ config, ... }: {
|
2015-07-24 10:23:52 +00:00
|
|
|
options = {
|
|
|
|
config = mkOption {
|
|
|
|
type = str;
|
2015-09-03 23:51:40 +00:00
|
|
|
default = ''
|
2015-07-24 10:23:52 +00:00
|
|
|
${optionalString (net-config.via != null)
|
|
|
|
(concatMapStringsSep "\n" (a: "Address = ${a}") net-config.via.addrs)}
|
|
|
|
${concatMapStringsSep "\n" (a: "Subnet = ${a}") net-config.addrs}
|
|
|
|
${config.pubkey}
|
|
|
|
'';
|
|
|
|
};
|
|
|
|
pubkey = mkOption {
|
|
|
|
type = str;
|
|
|
|
};
|
|
|
|
};
|
2015-07-27 00:45:03 +00:00
|
|
|
}));
|
|
|
|
default = null;
|
2015-07-24 10:23:52 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
});
|
|
|
|
|
|
|
|
positive = mkOptionType {
|
|
|
|
name = "positive integer";
|
|
|
|
check = x: isInt x && x > 0;
|
|
|
|
merge = mergeOneOption;
|
|
|
|
};
|
|
|
|
|
2015-10-09 12:07:29 +00:00
|
|
|
suffixed-str = suffs:
|
|
|
|
mkOptionType {
|
|
|
|
name = "string suffixed by ${concatStringsSep ", " suffs}";
|
|
|
|
check = x: isString x && any (flip hasSuffix x) suffs;
|
|
|
|
merge = mergeOneOption;
|
|
|
|
};
|
|
|
|
|
2015-07-24 18:48:00 +00:00
|
|
|
user = submodule {
|
|
|
|
options = {
|
2015-07-24 23:05:14 +00:00
|
|
|
mail = mkOption {
|
|
|
|
type = str; # TODO retiolum mail address
|
|
|
|
};
|
2015-07-24 18:48:00 +00:00
|
|
|
name = mkOption {
|
|
|
|
type = str; # TODO
|
|
|
|
};
|
|
|
|
pubkey = mkOption {
|
|
|
|
type = str;
|
|
|
|
};
|
2015-07-27 13:42:33 +00:00
|
|
|
pubkeys = mkOption {
|
|
|
|
type = attrsOf str;
|
|
|
|
default = {};
|
|
|
|
};
|
2015-07-24 18:48:00 +00:00
|
|
|
};
|
|
|
|
};
|
|
|
|
|
2015-07-24 10:23:52 +00:00
|
|
|
# TODO
|
|
|
|
addr = str;
|
|
|
|
addr4 = str;
|
|
|
|
addr6 = str;
|
|
|
|
hostname = str;
|
|
|
|
label = str;
|
2015-12-28 18:43:31 +00:00
|
|
|
|
|
|
|
krebs.file-location = types.submodule {
|
|
|
|
options = {
|
|
|
|
# TODO user
|
|
|
|
host = mkOption {
|
|
|
|
type = host;
|
|
|
|
};
|
|
|
|
# TODO merge with ssl.privkey.path
|
|
|
|
path = mkOption {
|
|
|
|
type = types.either types.path types.str;
|
|
|
|
apply = x: {
|
|
|
|
path = toString x;
|
|
|
|
string = x;
|
|
|
|
}.${typeOf x};
|
|
|
|
};
|
|
|
|
};
|
|
|
|
};
|
2015-07-24 10:23:52 +00:00
|
|
|
}
|