diff options
author | tv <tv@shackspace.de> | 2015-07-28 20:10:48 +0200 |
---|---|---|
committer | tv <tv@shackspace.de> | 2015-07-28 20:10:48 +0200 |
commit | b97b63141be5a5f4583a41a0508ff2ad0d7e5f29 (patch) | |
tree | 8888c03009a0e6d4ee0dce700201d2ca68f16a60 /3modules/krebs | |
parent | 03e03a7cbda232d1e8581231aefe632072665194 (diff) | |
parent | 2de7a7f6b97d9976291bd8f8255a627695fb79fc (diff) |
Merge remote-tracking branch 'pnp/master' into master
Diffstat (limited to '3modules/krebs')
-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 d32143be3..b9b6bcf34 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; }; }; |