diff --git a/tools/ConfigDb/update_ConfigDb.sh b/tools/ConfigDb/update_ConfigDb.sh index 1c6587a0fef0a81e07ca6f6ea3b03da5084b4320..fc3dc051b95b8eee5bb679088e0877da37aae8fa 100755 --- a/tools/ConfigDb/update_ConfigDb.sh +++ b/tools/ConfigDb/update_ConfigDb.sh @@ -26,6 +26,11 @@ if [ ${1:0:10} != /hosthome/ -a ${1:0:20} != /opt/lofar2.0/tango/ -a ${1:0:14} ! # The file can be accessed through /hosthome. Modify the parameter. file=/hosthome${home_replaced}/$(basename ${file}) + else + # The file is in one of the two: /opt/lofar2.0/tango/ /opt/lofar2.0/ + # Provide the full path since it is accessible from within the docker + # image because both directories are mounted. + file=${full_path}/$(basename ${file}) fi fi