diff options
| author | tv <tv@shackspace.de> | 2015-07-25 00:44:24 +0200 |
|---|---|---|
| committer | tv <tv@shackspace.de> | 2015-07-25 00:44:24 +0200 |
| commit | 14250e66a7b15a6ece190ba55f672fb103eadaa3 (patch) | |
| tree | 59d60c879783440149670b4e97cd6abb51fab5c8 | |
| parent | 6c73ed76d95f25b67677a027460300271289c1fc (diff) | |
krebs.users += mv
| -rw-r--r-- | 3modules/krebs/default.nix | 3 |
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; }; |