diff extra/soundsoftware/scripted-deploy/vagrant/vagrant-provision.sh @ 1581:ae8043b014c7 dockerise

Updates, fixes, and tidying to scripted deployment stuff

--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/extra/soundsoftware/scripted-deploy/vagrant/vagrant-provision.sh	Tue Aug 15 13:33:56 2017 +0100
@@ -0,0 +1,17 @@
+#!/bin/bash
+
+#!!! still not covered:
+# * cron jobs
+# * https
+# * web fonts
+
+set -e
+
+for f in /vagrant/provision.d/[0-9]* ; do
+    case "$f" in
+        *~) ;;
+        *) echo "Running provision script: $f"
+           /bin/bash "$f";;
+    esac
+done
+