diff -r a2342f26c9de -r b0b56e0f8c7f dev/provisioning/modules/puppi/files/scripts/header
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/dev/provisioning/modules/puppi/files/scripts/header	Fri Jan 15 15:35:00 2016 +0100
@@ -0,0 +1,25 @@
+configfile="/etc/puppi/puppi.conf"
+
+# Load general configurations
+if [ ! -f $configfile ] ; then
+    echo "Config file: $configfile not found"
+    exit 2
+else
+    . $configfile
+    . $scriptsdir/functions
+fi
+
+# Load project runtime configuration
+projectconfigfile="$workdir/$project/config"
+if [ ! -f $projectconfigfile ] ; then
+    echo "Project runtime config file: $projectconfigfile not found"
+    exit 2
+else
+    . $projectconfigfile
+fi
+
+# Activate debug 
+case "$debug" in
+    yes) set -x  ;;
+    full) set -xv  ;;
+esac