Anda dapat mengecualikan local.dev dari ProxyCommand, menggunakan !
sebelumnya:
Host * !local.dev
ProxyCommand /usr/local/bin/corkscrew 127.0.0.1 8840 %h %p
Dari dokumentasi ssh_config :
Jika lebih dari satu pola disediakan, mereka harus dipisahkan oleh spasi putih.
Entri pola dapat dinegasikan dengan membuatnya awalan dengan tanda seru (`! ') . Jika entri yang dinegasikan cocok, maka entri Host diabaikan, terlepas dari apakah ada pola lain di baris yang cocok. Karenanya, pertandingan yang dinegasikan berguna untuk memberikan pengecualian untuk pertandingan wildcard.
Dokumentasi juga mengatakan:
Untuk setiap parameter, nilai yang diperoleh pertama akan digunakan . File konfigurasi berisi bagian-bagian yang dipisahkan oleh spesifikasi `Host ', dan bagian itu hanya diterapkan untuk host yang cocok dengan salah satu pola yang diberikan dalam spesifikasi. Nama host yang cocok adalah yang diberikan pada baris perintah.
Jadi, Anda juga dapat menonaktifkan ProxyCommand untuk local.dev dengan mengabaikan nilai yang telah Anda tetapkan di Host *
:
Host local.dev
HostName dev.myserver.com
User developer
ProxyCommand none