diff options
Diffstat (limited to 'docs')
| -rw-r--r-- | docs/getting_started_vagrant.md | 4 |
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 +``` |