From 8086f4b71a61135027507a7a57b6c28d70b2202b Mon Sep 17 00:00:00 2001 From: hvle Date: Sat, 12 Aug 2017 22:58:12 +0200 Subject: [PATCH] typo --- website/source/docs/vagrantfile/ssh_settings.html.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/website/source/docs/vagrantfile/ssh_settings.html.md b/website/source/docs/vagrantfile/ssh_settings.html.md index c6122d248..d8ce7584c 100644 --- a/website/source/docs/vagrantfile/ssh_settings.html.md +++ b/website/source/docs/vagrantfile/ssh_settings.html.md @@ -20,7 +20,7 @@ defaults are typically fine, but you can fine tune whatever you would like. `config.ssh.username` - This sets the username that Vagrant will SSH as by default. Providers are free to override this if they detect a more -appropriate user. By default this is "vagrant," since that is what most +appropriate user. By default this is "vagrant", since that is what most public boxes are made as.