diff options
Diffstat (limited to 'docs/installing/vagrant.md')
| -rw-r--r-- | docs/installing/vagrant.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/installing/vagrant.md b/docs/installing/vagrant.md index e4b90584d..a0b058da5 100644 --- a/docs/installing/vagrant.md +++ b/docs/installing/vagrant.md @@ -66,7 +66,7 @@ below, this is `1234`), and issue the `kill` command: 1234 $ kill -2 1234 -Alternatively, you can stop down the whole VM without deleting it with the +Alternatively, you can shut down the whole VM without deleting it with the command <code>vagrant halt</code> on the host command line. To start it up again, go to step 2, above — it won't take so long this time, because the files are already in place. |