How to explicitly define the default setting for ProxyCommand for a particular host

[Darren Tucker]

On 9/11/10 9:51 AM, JL Picard wrote:
[...]
> I would like to know what I should put in for XXXXXXX, so that
> server=specialServer just directly SSH's without any proxy command

"ProxyCommand none", which was introduced in v3.6.

 From ssh_config(5):

ProxyCommand
      [...]
      Setting the command to ``none'' disables this option entirely.

-- 
Darren Tucker (dtucker at zip.com.au)
GPG key 8FF4FA69 / D9A3 86E9 7EEE AF4B B2D4  37C9 C982 80C7 8FF4 FA69
     Good judgement comes with experience. Unfortunately, the experience
usually comes from bad judgement.