Puede excluir local.dev de ProxyCommand, utilizando !
antes:
Host * !local.dev
ProxyCommand /usr/local/bin/corkscrew 127.0.0.1 8840 %h %p
De la documentación de ssh_config :
Si se proporciona más de un patrón, deben estar separados por espacios en blanco.
Se puede negar una entrada de patrón con el prefijo con un signo de exclamación (`! ') . Si se coincide con una entrada negada, se ignora la entrada del Host, independientemente de si coinciden otros patrones en la línea. Por lo tanto, las coincidencias negadas son útiles para proporcionar excepciones para las coincidencias con comodines.
La documentación también decía:
Para cada parámetro, se utilizará el primer valor obtenido . Los archivos de configuración contienen secciones separadas por especificaciones de `` Host '', y esa sección solo se aplica a hosts que coinciden con uno de los patrones dados en la especificación. El nombre de host coincidente es el que aparece en la línea de comando.
Por lo tanto, también puede deshabilitar ProxyCommand para local.dev anulando el valor que ha definido en Host *
:
Host local.dev
HostName dev.myserver.com
User developer
ProxyCommand none