diff options
| author | Rico Sta. Cruz <rstacruz@users.noreply.github.com> | 2019-10-31 05:53:48 +1100 |
|---|---|---|
| committer | noroadsleft <18669334+noroadsleft@users.noreply.github.com> | 2019-10-30 11:53:48 -0700 |
| commit | dfdd9e821bfce93324ea68d8652008509137e0d9 (patch) | |
| tree | 38178bdb761ac506d970c40a9ed8c44f06f363d8 | |
| parent | f183af14adbdea0789bf85bda46b81139e4524a8 (diff) | |
| download | qmk_firmware-dfdd9e821bfce93324ea68d8652008509137e0d9.tar.gz qmk_firmware-dfdd9e821bfce93324ea68d8652008509137e0d9.zip | |
[Docs] Update getting_started_vagrant.md (#7203)
| -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 b62524271..da26682d7 100644 --- a/docs/getting_started_vagrant.md +++ b/docs/getting_started_vagrant.md | |||
| @@ -40,7 +40,7 @@ vagrant plugin install vagrant-vbguest | |||
| 40 | Finished with your environment? From anywhere inside the folder where you checked out this project, Execute: | 40 | Finished with your environment? From anywhere inside the folder where you checked out this project, Execute: |
| 41 | 41 | ||
| 42 | ```console | 42 | ```console |
| 43 | vagrant destory | 43 | vagrant destroy |
| 44 | ``` | 44 | ``` |
| 45 | 45 | ||
| 46 | ### What if I want to use Docker directly? | 46 | ### 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 | |||
| 54 | 54 | ||
| 55 | ```console | 55 | ```console |
| 56 | vagrant ssh -c 'sudo -i' | 56 | vagrant ssh -c 'sudo -i' |
| 57 | ``` \ No newline at end of file | 57 | ``` |