diff --git a/vagrant/push.bash b/vagrant/push.bash old mode 100644 new mode 100755 diff --git a/vagrant/up.bash b/vagrant/up.bash old mode 100644 new mode 100755