diff options
author | tv <tv@shackspace.de> | 2015-10-01 14:59:58 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-10-01 14:59:58 +0200 |
commit | 24326956780833540fd65dd0cb750c1071fa51b9 (patch) | |
tree | fdf2a14c654d2c4e5154e8d7742557f8bbb3c4bc /krebs/4lib/types.nix | |
parent | 3384dd0a5578cc3a26dd076669dd264f5ae9f008 (diff) |
krebs lib.types: deprecate host.infest.{addr,port}
Diffstat (limited to 'krebs/4lib/types.nix')
-rw-r--r-- | krebs/4lib/types.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/krebs/4lib/types.nix b/krebs/4lib/types.nix index 0aa594fb1..039f803ef 100644 --- a/krebs/4lib/types.nix +++ b/krebs/4lib/types.nix @@ -31,10 +31,13 @@ types // rec { infest = { addr = mkOption { type = str; + 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."; }; port = mkOption { type = int; default = 22; + # 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."; }; }; |