commit e58dfcd54c97162e471ba221e940d6834896e31b
parent e160a09ac83c55ec68b039ca69ffb13bc2d33744
Author: Daniel Moch <daniel@danielmoch.com>
Date: Thu, 8 Nov 2018 06:09:41 -0500
Separate SSH config for public and private Git servers
Diffstat:
1 file changed, 6 insertions(+), 1 deletion(-)
diff --git a/.ssh/config b/.ssh/config
@@ -2,7 +2,7 @@ Host dotcom dotcom-gpg dc* *.danielmoch.com
HostName danielmoch.com
Host dotcom-git
- HostName git.djmoch.org
+ HostName git.danielmoch.com
User git
ForwardAgent no
@@ -15,6 +15,11 @@ Host longboard* lb*
Host urbock* ub*
HostName urbock.djmoch.org
+Host dotorg-git
+ HostName git.djmoch.org
+ User git
+ ForwardAgent no
+
Host *-gpg
RemoteForward /run/user/10000/gnupg/S.gpg-agent /run/user/10000/gnupg/S.gpg-agent.extra