diff --git a/.ssh/config b/.ssh/config index bc032a6431a0cb077a7eb4f6adfa2ddef2da3edf..f34fb768e66c17683e12c26cda739dbbbbc36464 100644 --- a/.ssh/config +++ b/.ssh/config @@ -794,14 +794,14 @@ Host tahines.ens-cachan.fr tahines2 tahines #~# User loginENS #~# ForwardAgent yes #~# -#~# Host dptinfo*.dptinfo.ens-cachan.fr -#~# HostName %h +#~# Host *.dptinfo +#~# HostName %h.ens-cachan.fr #~# User loginENS #~# ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p #~# ForwardAgent yes #~# -#~# Host info* -#~# HostName dpt%h.dptinfo.ens-cachan.fr +#~# Host *.dptinfo.ens-cachan.fr +#~# HostName %h #~# User loginENS #~# ProxyCommand ssh loginENS@ssh.dptinfo.ens-cachan.fr -W %h:%p #~# ForwardAgent yes