Sie können local.dev von ProxyCommand ausschließen, indem !
Sie Folgendes verwenden :
Host * !local.dev
ProxyCommand /usr/local/bin/corkscrew 127.0.0.1 8840 %h %p
Aus der ssh_config- Dokumentation:
Wenn mehr als ein Muster bereitgestellt wird, sollten diese durch Leerzeichen getrennt werden.
Ein Mustereintrag kann negiert werden, indem ein Ausrufezeichen (`! ') Vorangestellt wird . Wenn ein negierter Eintrag übereinstimmt, wird der Host-Eintrag ignoriert, unabhängig davon, ob andere Muster in der Zeile übereinstimmen. Negierte Übereinstimmungen sind daher nützlich, um Ausnahmen für Platzhalterübereinstimmungen bereitzustellen.
Die Dokumentation sagte auch:
Für jeden Parameter wird der erste erhaltene Wert verwendet . Die Konfigurationsdateien enthalten Abschnitte, die durch Hostspezifikationen voneinander getrennt sind. Dieser Abschnitt gilt nur für Hosts, die einem der in der Spezifikation angegebenen Muster entsprechen. Der übereinstimmende Hostname ist der in der Befehlszeile angegebene.
Sie können ProxyCommand auch für local.dev deaktivieren, indem Sie den Wert überschreiben, den Sie in den folgenden Schritten definiert haben Host *
:
Host local.dev
HostName dev.myserver.com
User developer
ProxyCommand none