So when I'm connected to the corporate VPN, the VPN client modifies my system's /etc/resolv.conf file to add the corporate DNS servers to the top of the list. this prevents DNS lookups for my internal servers (like arm64-01.ip6.home.lan) from succeeding (because NXDOMAIN is returned by corporate's DNS servers.) is there a way to tell the #OpenSSH client to use specific DNS servers to look up specific hosts? I'm not seeing anything in the ssh_config(5) manpage.
The only thing I can think of would be to write a little script to use with the ProxyCommand option.
Before I hack up such a script, does anyone have any other ideas/suggestions (or even better: an already implemented solution?)
