diff --git a/.ssh/config_crans b/.ssh/config_crans index e5a86c31d5717b23d48a7ac8b72e7b3774924e8c..4d5db0ff7a359935494ea979849152253bb5fb19 100644 --- a/.ssh/config_crans +++ b/.ssh/config_crans @@ -193,16 +193,26 @@ Host jitsi.adm jitsi.adm.crans.org User loginCr@ns ForwardAgent yes -Host geet git gitlab geet.crans.org git.crans.org gitlab.crans.org +Host geet geet.crans.org HostName geet.crans.org User loginCr@ns ForwardAgent yes -Host geet.adm git.adm gitlab.adm geet.adm.crans.org git.adm.crans.org gitlab.adm.crans.org +Host geet.adm geet.adm.crans.org HostName geet.adm.crans.org User loginCr@ns ForwardAgent yes +Host gitzly git gitlab gitzly.crans.org git.crans.org gitlab.crans.org + HostName gitzly.crans.org + User loginCr@ns + ForwardAgent yes + +Host gitzly.adm git.adm gitlab.adm gitzly.adm.crans.org git.adm.crans.org gitlab.adm.crans.org + HostName gitzly.adm.crans.org + User loginCr@ns + ForwardAgent yes + Host ipv6 ipv6-zayo ipv6.crans.org ipv6-zayo.crans.org HostName ipv6-zayo.crans.org User loginCr@ns