diff options
Diffstat (limited to '')
| -rw-r--r-- | home/.ssh/config | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/home/.ssh/config b/home/.ssh/config new file mode 100644 index 00000000..5450fcdd --- /dev/null +++ b/home/.ssh/config @@ -0,0 +1,18 @@ +IgnoreUnknown Include +Include config_private + +HashKnownHosts yes + +SendEnv LANG LC_* NETHACKOPTIONS + +Host monday thursday tux + HostName %h.local + ForwardAgent yes + RemoteForward 7062 127.0.0.1:7062 + +Host june july + HostName %h.nyc3.do.causal.agency + Port 2222 + +Host temp.causal.agency + Port 2222 |