summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authortv <tv@shackspace.de>2015-07-25 00:44:24 +0200
committertv <tv@shackspace.de>2015-07-25 00:44:24 +0200
commit14250e66a7b15a6ece190ba55f672fb103eadaa3 (patch)
tree59d60c879783440149670b4e97cd6abb51fab5c8
parent6c73ed76d95f25b67677a027460300271289c1fc (diff)
krebs.users += mv
-rw-r--r--3modules/krebs/default.nix3
1 files changed, 3 insertions, 0 deletions
diff --git a/3modules/krebs/default.nix b/3modules/krebs/default.nix
index 601ecf017..23b3ab7ec 100644
--- a/3modules/krebs/default.nix
+++ b/3modules/krebs/default.nix
@@ -308,6 +308,9 @@ let
};
};
users = addNames {
+ mv = {
+ pubkey = readFile ../../Zpubkeys/mv_vod.ssh.pub;
+ };
tv = {
pubkey = readFile ../../Zpubkeys/tv_wu.ssh.pub;
};