echo-e"\nERROR: ${1}\nYou must provide a file that can be accessed from within the Docker container. This is possible for files that\n\t- Have a path in \${HOME} or\n\t- Have a full file path that begins with one of \"/hosthome/\", \"/opt/lofar2.0/tango/\" or \"/opt/lofar2.0/\".\n\nWhy 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
}
if[${#}-eq 1 ];then
if[${#}-eq 1 ];then
file=${1}
file=${1}
else
else
help"A file name must be provided."
echo"A file name must be provided."
exit 1
fi
fi
# copy file into container to read it from container, as the file's location
# copy file into container to read it from container, as the file's location
echo-e"\nERROR: ${1}\nYou must provide a file that can be accessed from within the Docker container. This is possible for files that\n\t- Have a path in \${HOME} or\n\t- Have a full file path that begins with one of \"/hosthome/\", \"/opt/lofar2.0/tango/\" or \"/opt/lofar2.0/\".\n\nWhy 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
}
if[${#}-eq 1 ];then
if[${#}-eq 1 ];then
file=${1}
file=${1}
else
else
help"A file name must be provided."
echo"A file name must be provided."
exit 1
fi
fi
# copy file into container to read it from container, as the file's location
# copy file into container to read it from container, as the file's location