From 83a632b1b2108aa531ec6453fd6862614254dd9e Mon Sep 17 00:00:00 2001
From: Michael Lee <lee@soi2.org>
Date: Thu, 25 Sep 2014 01:38:07 -0500
Subject: [PATCH] Fixing provisioning of gdbinit

---
 vagrantprov.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vagrantprov.sh b/vagrantprov.sh
index 42f3a80..78aeb30 100755
--- a/vagrantprov.sh
+++ b/vagrantprov.sh
@@ -3,4 +3,4 @@
 apt-get update
 apt-get install -y qemu-system-x86
 apt-get install -y gdb
-echo "set auto-load safe-path /" > ~/.gdbinit
+echo "set auto-load safe-path /" > /home/vagrant/.gdbinit