From c169e0949e04943919d6105e341041ed1557269f Mon Sep 17 00:00:00 2001 From: Don Armstrong Date: Fri, 22 Nov 2013 23:25:58 -0800 Subject: [PATCH] update ssh configuration for vasks dying --- .ssh/config | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.ssh/config b/.ssh/config index 6149435..14d88fb 100644 --- a/.ssh/config +++ b/.ssh/config @@ -9,8 +9,8 @@ Host busoni.debian.org IdentityFile ~/.ssh/identity_debian UserKnownHostsFile ~/.ssh/known_hosts_debian ProxyCommand sh -c 'if [ "$(hostname)" = "archimedes" ]; then exec nc -q 1:0 busoni.debian.org 22 2>/dev/null; else exec ssh archimedes.ucr.edu nc -q 1:0 busoni.debian.org 22 2>/dev/null; fi;' -Host vasks.debian.org git.debian.org svn.debian.org cvs.debian.org - ControlPath ~/tmp/vasks.debian.org_%p_%r +Host moszumanska.debian.org git.debian.org svn.debian.org cvs.debian.org + ControlPath ~/tmp/moszumanska.debian.org_%p_%r Host *.debian.org IdentityFile ~/.ssh/identity_debian UserKnownHostsFile ~/.ssh/known_hosts_debian -- 2.39.2