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."
# Check if the filename begins with /hosthome/, /opt/lofar2.0/tango or /opt/lofar2.0/:
echo"You must provide a full file path that begins with one of \"/hosthome/\", \"/opt/lofar2.0/tango/\" or \"/opt/lofar2.0/\". 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."
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."
# Check if the filename begins with /hosthome/, /opt/lofar2.0/tango or /opt/lofar2.0/:
echo"You must provide a full file path that begins with one of \"/hosthome/\", \"/opt/lofar2.0/tango/\" or \"/opt/lofar2.0/\". 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."