diff --git a/.ssh/config_crans b/.ssh/config_crans index 4d5db0ff7a359935494ea979849152253bb5fb19..b4f2d31f589cfe4de7f15c9ae0a6b1b8e110f2ba 100644 --- a/.ssh/config_crans +++ b/.ssh/config_crans @@ -461,11 +461,6 @@ Host unifi.adm unifi.adm.crans.org User loginCr@ns ForwardAgent yes -Host phabricator todo tracker.adm tracker.adm.crans.org - HostName tracker.adm.crans.org - User loginCr@ns - ForwardAgent yes - Host vo calendrier intranet-dev news-dev openid-dev weavesync vo.crans.org weavesync.crans.org intranet-dev.crans.org calendrier.crans.org openid-dev.crans.org news-dev.crans.org HostName vo.crans.org User loginCr@ns @@ -569,6 +564,12 @@ Host *-ilo HostKeyAlgorithms ssh-rsa,ssh-dss ProxyJump stitch.crans.org +Host phabricator todo tracker.adm tracker.adm.crans.org + HostName tracker.adm.crans.org + User loginCr@ns + ForwardAgent yes + ProxyJump stitch.crans.org + Host radius.adm radius radius radius.adm.crans.org HostName radius.adm.crans.org User loginCr@ns