diff --git a/tools/ConfigDb/load_ConfigDb.sh b/tools/ConfigDb/load_ConfigDb.sh index 1326db28f10d47b7f04c51df3afd786a4499399f..353d4b01486e4464fe8374d34ebfe35d430e7564 100755 --- a/tools/ConfigDb/load_ConfigDb.sh +++ b/tools/ConfigDb/load_ConfigDb.sh @@ -3,7 +3,7 @@ if [ ${#} -ne 1 ]; then exit -1 # Check if the filename begins with /hosthome/, /opt/tango or /opt/lofar: elif [ ${1:0:10} != /hosthome/ -a ${1:0:11} != /opt/tango/ -a ${1:0:11} != /opt/lofar/ ]; then - echo "You must provide a full file path that begins with one of \"/hosthome/\", \"/opt/tango/\" or \"/opt/lofar/\". Why is that? Because the file has to be loaded from the Docker host's file system that is mounted in the container." + echo "You must provide a full file path that begins with one of \"/hosthome/\", \"/opt/tango/\" or \"/opt/lofar/\". Why is that? Because the file will be loaded from within the Docker container and only some of the host's file system directories are mounted in the container." exit -2 fi diff --git a/tools/ConfigDb/update_ConfigDb.sh b/tools/ConfigDb/update_ConfigDb.sh index 3c33785abf25e4c82a69129fbb41354fa8aca711..277e92f560a5a58ce12b79b2ab23de0ef961c4e2 100755 --- a/tools/ConfigDb/update_ConfigDb.sh +++ b/tools/ConfigDb/update_ConfigDb.sh @@ -3,7 +3,7 @@ if [ ${#} -ne 1 ]; then exit -1 # Check if the filename begins with /hosthome/, /opt/tango or /opt/lofar: elif [ ${1:0:10} != /hosthome/ -a ${1:0:11} != /opt/tango/ -a ${1:0:11} != /opt/lofar/ ]; then - echo "You must provide a full file path that begins with one of \"/hosthome/\", \"/opt/tango/\" or \"/opt/lofar/\". Why is that? Because the file has to be stored to the Docker host's file system that is mounted in the container." + echo "You must provide a full file path that begins with one of \"/hosthome/\", \"/opt/tango/\" or \"/opt/lofar/\". Why is that? Because the file will be loaded from within the Docker container and only some of the host's file system directories are mounted in the container." exit -2 fi