1 files changed, 11 insertions, 0 deletions

diff --git a/scripts/robust-include b/scripts/robust-include
new file mode 100755
index 0000000..e427eb1
--- /dev/null
+++ b/scripts/robust-include
@@ -0,0 +1,11 @@
+#!/bin/bash
+
+# Silly script to get around the lack of includes in ROBUST.
+
+source common.sh
+getPrgDir
+
+# The problem here is that the > bit is executed as the user, not as opensim.
+cat ${PRGDIR}/../../config/config.ini ${PRGDIR}/../bin/Robust.ini >${PRGDIR}/../../config/Robust.ini
+chown -R ${OS_USER}:${OS_USER} ${PRGDIR}/../../config/Robust.ini
+chmod 600 ${PRGDIR}/../../config/Robust.ini