From a312ae659cc1397d31e076c42991cd923b35aefe Mon Sep 17 00:00:00 2001
From: Kyle Robbertze <krobbertze@gmail.com>
Date: Fri, 18 Jan 2019 15:08:12 +0200
Subject: [PATCH] include libvirt-dev and recommend reboot

---
 docs/vagrant.md | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/docs/vagrant.md b/docs/vagrant.md
index 78a070a77..3bedc428e 100644
--- a/docs/vagrant.md
+++ b/docs/vagrant.md
@@ -42,10 +42,10 @@ vagrant up ubuntu-xenial --provider=libvirt
 #### Debian and Ubuntu
 
 ```bash
-sudo apt install vagrant vagrant-libvirt libvirt-daemon-system vagrant-mutate
+sudo apt install vagrant vagrant-libvirt libvirt-daemon-system vagrant-mutate libvirt-dev
 sudo usermod -a -G libvirt $USER
 
-# Log out and back in
+# Reboot
 
 vagrant box fetch bento/ubuntu-16.04
 vagrant mutate bento/ubuntu-16.04 libvirt
@@ -60,7 +60,7 @@ You will need to install [libvirt](https://libvirt.org/) and `vagrant-mutate` an
 vagrant plugin install vagrant-libvirt
 sudo usermod -a -G libvirt $USER
 
-# Log out and back in
+# Reboot
 
 vagrant plugin install vagrant-mutate
 vagrant box fetch bento/ubuntu-16.04