summaryrefslogtreecommitdiff
path: root/docs/getting_started_vagrant.md
diff options
context:
space:
mode:
Diffstat (limited to 'docs/getting_started_vagrant.md')
-rw-r--r--docs/getting_started_vagrant.md4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/getting_started_vagrant.md b/docs/getting_started_vagrant.md
index b62524271c..da26682d7f 100644
--- a/docs/getting_started_vagrant.md
+++ b/docs/getting_started_vagrant.md
@@ -40,7 +40,7 @@ vagrant plugin install vagrant-vbguest
Finished with your environment? From anywhere inside the folder where you checked out this project, Execute:
```console
-vagrant destory
+vagrant destroy
```
### What if I want to use Docker directly?
@@ -54,4 +54,4 @@ Execute the following to bypass the `vagrant` user booting directly to the offic
```console
vagrant ssh -c 'sudo -i'
-``` \ No newline at end of file
+```