diff options
Diffstat (limited to 'scripts/robust-include')
-rwxr-xr-x | scripts/robust-include | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/scripts/robust-include b/scripts/robust-include deleted file mode 100755 index e427eb1..0000000 --- a/scripts/robust-include +++ /dev/null | |||
@@ -1,11 +0,0 @@ | |||
1 | #!/bin/bash | ||
2 | |||
3 | # Silly script to get around the lack of includes in ROBUST. | ||
4 | |||
5 | source common.sh | ||
6 | getPrgDir | ||
7 | |||
8 | # The problem here is that the > bit is executed as the user, not as opensim. | ||
9 | cat ${PRGDIR}/../../config/config.ini ${PRGDIR}/../bin/Robust.ini >${PRGDIR}/../../config/Robust.ini | ||
10 | chown -R ${OS_USER}:${OS_USER} ${PRGDIR}/../../config/Robust.ini | ||
11 | chmod 600 ${PRGDIR}/../../config/Robust.ini | ||