summaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorRico Sta. Cruz <rstacruz@users.noreply.github.com>2019-10-31 05:53:48 +1100
committernoroadsleft <18669334+noroadsleft@users.noreply.github.com>2019-10-30 11:53:48 -0700
commitdfdd9e821bfce93324ea68d8652008509137e0d9 (patch)
tree38178bdb761ac506d970c40a9ed8c44f06f363d8 /docs
parentf183af14adbdea0789bf85bda46b81139e4524a8 (diff)
[Docs] Update getting_started_vagrant.md (#7203)
Diffstat (limited to 'docs')
-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
+```