diff options
Diffstat (limited to 'accounts/gkleen@sif/ssh-hosts.nix')
-rw-r--r-- | accounts/gkleen@sif/ssh-hosts.nix | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/accounts/gkleen@sif/ssh-hosts.nix b/accounts/gkleen@sif/ssh-hosts.nix index 0947c1f5..e1849eee 100644 --- a/accounts/gkleen@sif/ssh-hosts.nix +++ b/accounts/gkleen@sif/ssh-hosts.nix | |||
@@ -257,6 +257,14 @@ | |||
257 | { hostname = "vidhar.yggdrasil"; | 257 | { hostname = "vidhar.yggdrasil"; |
258 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; | 258 | identityFile = "~/.ssh/gkleen@sif.midgard.yggdrasil"; |
259 | }; | 259 | }; |
260 | "unison.vidhar" = | ||
261 | { hostname = "vidhar.yggdrasil"; | ||
262 | identityFile = "~/.ssh/unison.gkleen@sif.midgard.yggdrasil"; | ||
263 | extraOptions = { | ||
264 | BatchMode = "yes"; | ||
265 | ControlMaster = "no"; | ||
266 | }; | ||
267 | }; | ||
260 | "math60" = | 268 | "math60" = |
261 | { hostname = "math60.math.lmu.de"; | 269 | { hostname = "math60.math.lmu.de"; |
262 | identityFile = "~/.ssh/gkleen@mathinst.loc"; | 270 | identityFile = "~/.ssh/gkleen@mathinst.loc"; |