From dfdd9e821bfce93324ea68d8652008509137e0d9 Mon Sep 17 00:00:00 2001
From: "Rico Sta. Cruz" <rstacruz@users.noreply.github.com>
Date: Thu, 31 Oct 2019 05:53:48 +1100
Subject: [Docs] Update getting_started_vagrant.md (#7203)

---
 docs/getting_started_vagrant.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'docs/getting_started_vagrant.md')

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
+```
-- 
cgit v1.2.3