From dfdd9e821bfce93324ea68d8652008509137e0d9 Mon Sep 17 00:00:00 2001 From: "Rico Sta. Cruz" Date: Thu, 31 Oct 2019 05:53:48 +1100 Subject: [PATCH] [Docs] Update getting_started_vagrant.md (#7203) --- docs/getting_started_vagrant.md | 4 ++-- 1 file 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 +```