diff options
author | Andrew Cady <d@jerkface.net> | 2022-10-09 17:01:49 -0400 |
---|---|---|
committer | Andrew Cady <d@jerkface.net> | 2022-10-09 17:01:49 -0400 |
commit | de7aebc51435f02109ace85d7dc7c108d9adb7a8 (patch) | |
tree | 3701022c6147f4f68bf39714abdefabda880ca1c /dot/ssh | |
parent | 6cf2a9da6789cfd9cb204371062e6c325efa38e6 (diff) |
redo .ssh/config
It's questionable whether this should be in this archive at all,
since this file is so likely to contain machine-local settings.
Highlights the need for some mechanism to back up what we overwrite.
Diffstat (limited to 'dot/ssh')
-rw-r--r-- | dot/ssh/config | 16 |
1 files changed, 2 insertions, 14 deletions
diff --git a/dot/ssh/config b/dot/ssh/config index 9780c12..fee02ed 100644 --- a/dot/ssh/config +++ b/dot/ssh/config | |||
@@ -1,19 +1,7 @@ | |||
1 | Include config.d/*.conf | ||
2 | HashKnownHosts no | ||
1 | ForwardAgent yes | 3 | ForwardAgent yes |
2 | 4 | ||
3 | Host *.local | 5 | Host *.local |
4 | CheckHostIP no | 6 | CheckHostIP no |
5 | 7 | ||
6 | Host borges | ||
7 | Hostname=borges.local | ||
8 | User=root | ||
9 | |||
10 | Host emmy | ||
11 | Hostname=emmy.childrenofmay.org | ||
12 | |||
13 | Host lasker | ||
14 | Hostname=lasker.childrenofmay.org | ||
15 | User=root | ||
16 | |||
17 | Host adam | ||
18 | Hostname=adam.childrenofmay.org | ||
19 | User=d | ||