Instructions for fixing Vagrant on CSE lab machines

lab_machines.md

1. Run the following command in a terminal:

VBoxManage setproperty machinefolder /var/tmp

2. Add the following line to the end of your ~/.bash_profile (or equivalent)

export VAGRANT_HOME=/var/tmp

3. Re-source your terminal (e.g., quit and restart any terminal windows).

4. Run the following command to free up any disk space that Vagrant has been stealing from you:

rm -rf ~/.vagrant.d

5. In the directory to which you cloned the DAMS practicals Git repository, run:

git fetch
git rebase

(If this fails, you might need to stash your changes first with git add -A then git stash. After you've rebased you can run git stash pop).

6. Rebuild your VM:

vagrant destroy
vagrant up --provision

7. If you have also cloned Flippd's Git repository, repeat steps 5 and 6 in the directory containing your local repo.

Many thanks to Angelo and Richard K for helping me to figure this out.