From 214734d1dc3d02eb8f5a432602e76114aef83317 Mon Sep 17 00:00:00 2001
From: Xavier Antoviaque <xavier@antoviaque.org>
Date: Mon, 1 Jul 2013 12:07:44 -0300
Subject: [PATCH] vagrant: Set `$PROJECT_HOME` - `$BASE` was set to the default
 path

Yarko's `$BASE` patch has been merged and rewritten since
the original pull request was created, resulting in the `$BASE` being
incorrectly set to the default `/home/vagrant/edx_all` by the new code.
---
 scripts/vagrant-provisioning.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/scripts/vagrant-provisioning.sh b/scripts/vagrant-provisioning.sh
index 6a00035dcc..fc87b5b7f0 100755
--- a/scripts/vagrant-provisioning.sh
+++ b/scripts/vagrant-provisioning.sh
@@ -65,7 +65,7 @@ chown vagrant.vagrant /opt/edx
 [[ -f ~vagrant/.bash_profile ]] && {
     mv ~vagrant/.bash_profile ~vagrant/.bash_profile.bak
 }
-sudo -u vagrant -i bash -c "cd /opt/edx/edx-platform && ./scripts/create-dev-env.sh -ynq"
+sudo -u vagrant -i bash -c "cd /opt/edx/edx-platform && PROJECT_HOME=/opt/edx ./scripts/create-dev-env.sh -ynq"
 
 
 # Virtualenv - Always load ####################################################