From bc7c10bd102af255c3d95c60bda0f324913c8f72 Mon Sep 17 00:00:00 2001
From: Laurent Peuch <cortex@worlddomination.be>
Date: Wed, 27 Jun 2018 14:09:11 +0200
Subject: [PATCH] [doc] inform on how to shutdown a box

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index b12ae58..034b85a 100644
--- a/README.md
+++ b/README.md
@@ -186,6 +186,13 @@ cd /path/to/dev/env
 vagrant suspend stretch-unstable
 ```
 
+Alternatively you can shut it down:
+
+```bash
+cd /path/to/dev/env
+vagrant halt stretch-unstable
+```
+
 ## Develop on a remote server
 
 Firstly, you need to understand that it is a dev tool : you shouldn't run it on a production environment !