From 0521b0d50ca906277c19f1e94f3bf21001614bbd Mon Sep 17 00:00:00 2001
From: Emiliano Ticci <emiticci@gmail.com>
Date: Thu, 17 Jul 2014 19:35:34 +0200
Subject: [PATCH] Mention config.ssh.pty in docs

---
 website/docs/source/v2/vagrantfile/ssh_settings.html.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/website/docs/source/v2/vagrantfile/ssh_settings.html.md b/website/docs/source/v2/vagrantfile/ssh_settings.html.md
index 419c21f72..9fb0563ac 100644
--- a/website/docs/source/v2/vagrantfile/ssh_settings.html.md
+++ b/website/docs/source/v2/vagrantfile/ssh_settings.html.md
@@ -80,6 +80,10 @@ the port.
 
 <hr>
 
+`config.ssh.pty` - If `true`, pty will be used for provisioning. Defaults to false.
+
+<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