diff options
| author | Dave Whiteland <dave@mysociety.org> | 2015-02-11 12:21:29 +0000 |
|---|---|---|
| committer | Dave Whiteland <dave@mysociety.org> | 2015-02-11 12:21:29 +0000 |
| commit | 75a11d4d75246a7c07d684296250552e3a097614 (patch) | |
| tree | 3b9b93404a089c13102d52c4efcb93322aeca401 /docs | |
| parent | 0c2596903c85ff9b51879b29ce948f5544412b7f (diff) | |
fix typo: shut down, not stop down
Diffstat (limited to 'docs')
| -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. |