Vous pouvez exclure local.dev de ProxyCommand, en utilisant !
avant:
Host * !local.dev
ProxyCommand /usr/local/bin/corkscrew 127.0.0.1 8840 %h %p
De la documentation ssh_config :
Si plusieurs motifs sont fournis, ils doivent être séparés par des espaces.
Une entrée de modèle peut être annulée en la préfixant avec un point d'exclamation (`! ') . Si une entrée annulée est mise en correspondance, l'entrée Hôte est ignorée, que les autres modèles de la ligne correspondent ou non. Les correspondances négatives sont donc utiles pour fournir des exceptions pour les correspondances génériques.
La documentation indiquait également:
Pour chaque paramètre, la première valeur obtenue sera utilisée . Les fichiers de configuration contiennent des sections séparées par des spécifications `` Host '', et cette section n'est appliquée qu'aux hôtes qui correspondent à l'un des modèles donnés dans la spécification. Le nom d'hôte correspondant est celui donné sur la ligne de commande.
Ainsi, vous pouvez également désactiver ProxyCommand pour local.dev en remplaçant la valeur que vous avez définie dans Host *
:
Host local.dev
HostName dev.myserver.com
User developer
ProxyCommand none