commit d1debfea7ef2e6ce04a852899e12b3673fc23ff7
parent c315017dea33cd9d9890bce2ff7a5ca97deafce4
Author: Daniel Moch <daniel@danielmoch.com>
Date: Fri, 29 Dec 2017 13:33:18 -0500
SSH Config
1. Default to my usual handle, and forward auth agent
2. Don't forward auth agent to github
Diffstat:
1 file changed, 10 insertions(+), 7 deletions(-)
diff --git a/.ssh/config b/.ssh/config
@@ -1,14 +1,17 @@
Host dotcom
HostName danielmoch.com
- Port 22
- User root
Host dotcom-public
HostName 104.236.52.17
- Port 22
- User root
-Host pi
+Host pi raspberrypi
HostName raspberrypi.localdomain
- Port 22
- User pi
+
+Host github github.com
+ HostName github.com
+ User git
+ ForwardAgent no
+
+Host *
+ User djmoch
+ ForwardAgent yes