[Docs] Update getting_started_vagrant.md (#7203)

This commit is contained in:
Rico Sta. Cruz 2019-10-31 05:53:48 +11:00 committed by noroadsleft
parent f183af14ad
commit dfdd9e821b

View file

@ -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: Finished with your environment? From anywhere inside the folder where you checked out this project, Execute:
```console ```console
vagrant destory vagrant destroy
``` ```
### What if I want to use Docker directly? ### What if I want to use Docker directly?