diff options
author | tv <tv@krebsco.de> | 2015-07-28 20:10:48 +0200 |
---|---|---|
committer | tv <tv@krebsco.de> | 2015-07-28 20:10:48 +0200 |
commit | 76cfc6eecf8c15d460e7f2992cf5f05d331b3e46 (patch) | |
tree | 289ce21538681a77c5db9d06aa65aa87e19fda49 /3modules | |
parent | 7920cfad18e69ea30bbe5e70da2cd93e0bbc05cd (diff) | |
parent | 3a7aed919e996cc7cec539f0e4aa03d51323767a (diff) |
Merge remote-tracking branch 'pnp/master' into master
Diffstat (limited to '3modules')
-rw-r--r-- | 3modules/krebs/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/3modules/krebs/default.nix b/3modules/krebs/default.nix index d32143b..b9b6bcf 100644 --- a/3modules/krebs/default.nix +++ b/3modules/krebs/default.nix @@ -197,7 +197,7 @@ let }; }; - makefu-imp = { + makefu-imp = { hosts = addNames { pnp = { cores = 1; @@ -226,6 +226,7 @@ let }; users = addNames { makefu = { + mail = "root@euer.krebsco.de"; pubkey = readFile ../../Zpubkeys/makefu_arch.ssh.pub; }; }; |