website/docs: document ssh proxy_command [GH-3521]

This commit is contained in:
Mitchell Hashimoto 2014-04-24 02:17:55 -07:00
parent f36dfb2961
commit 702347c47e
1 changed files with 7 additions and 0 deletions

View File

@ -73,6 +73,13 @@ has an effect if you don't already use private keys for authentication.
<hr>
`config.ssh.proxy_command` - A command-line command to execute that receives
the data to send to SSH on stdin. This can be used to proxy the SSH connection.
`%h` in the command is replaced with the host and `%p` is replaced with
the port.
<hr>
`config.ssh.shell` - The shell to use when executing SSH commands from
Vagrant. By default this is `bash -l`. Note that this has no effect on
the shell you get when you run `vagrant ssh`. This configuration option