diff options
| author | tv <tv@shackspace.de> | 2015-07-28 20:24:39 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-07-28 20:24:39 +0200 |
| commit | a7ff77b6c147be71d60bda7e73c65286ecfb7c83 (patch) | |
| tree | a3f3edfb52afde6fb2a81477844b20f41fe09737 /3modules/krebs | |
| parent | 981664337fef772422cbc3ca8bcb8ebb85d79b02 (diff) | |
| parent | 2de7a7f6b97d9976291bd8f8255a627695fb79fc (diff) | |
Merge remote-tracking branch 'pnp/master' into user-toplevel
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 32c936891..9e25df0bf 100644 --- a/3modules/krebs/default.nix +++ b/3modules/krebs/default.nix @@ -199,7 +199,7 @@ let }; }; - makefu-imp = { + makefu-imp = { hosts = addNames { pnp = { cores = 1; @@ -228,6 +228,7 @@ let }; users = addNames { makefu = { + mail = "root@euer.krebsco.de"; pubkey = readFile ../../Zpubkeys/makefu_arch.ssh.pub; }; }; |