get SEEDMS_HOME from parent dir if not set

This commit is contained in:
Uwe Steinmann 2020-09-04 09:34:45 +02:00
parent e10ce3dc4b
commit 85edac3734

View File

@ -1,8 +1,8 @@
#!/usr/bin/env bash #!/usr/bin/env bash
if [ -z "${SEEDDMS_HOME}" ]; then if [ -z "${SEEDDMS_HOME}" ]; then
echo 'Please set $SEEDDMS_HOME before running this script' parentdir=$(dirname "$0")
exit 1 export SEEDDMS_HOME=$(dirname "$parentdir")
fi fi
exec php -f "${SEEDDMS_HOME}/utils/xmldump.php" -- "${@}" exec php -f "${SEEDDMS_HOME}/utils/xmldump.php" -- "${@}"