From d174fc960ae51344d06548e9776b49b3b07e568f Mon Sep 17 00:00:00 2001 From: Alvaro Miranda Aguilera Date: Fri, 20 Jul 2018 21:48:46 +0200 Subject: [PATCH] feedback update update based on feedback --- website/source/docs/cli/ssh.html.md | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/website/source/docs/cli/ssh.html.md b/website/source/docs/cli/ssh.html.md index 6e0d01b7c..76025418d 100644 --- a/website/source/docs/cli/ssh.html.md +++ b/website/source/docs/cli/ssh.html.md @@ -25,7 +25,9 @@ Last login: Fri Sep 14 06:23:18 2012 from 10.0.2.2 $ logout Connection to 127.0.0.1 closed. ``` + Or you could use the name: + ```bash $ vagrant ssh default @@ -78,8 +80,7 @@ on this machine. This data is cached and may not be completely up-to-date (use "vagrant global-status --prune" to prune invalid entries). To interact with any of the machines, you can go to that directory and run Vagrant, or you can use the ID directly with -Vagrant commands from any directory. For example: -"vagrant destroy 1a2b3c4d" +Vagrant commands from any directory. $ vagrant ssh 13759ff Welcome to your Vagrant-built virtual machine.