Hints
getfile.sh is part of the deployment clients that fatches the packages from package server. To get/ update the script
wget -O getfile.sh "https://git-repo.iml.unibe.ch/iml-open-source/imldeployment-client/-/raw/master/bin/getfile.sh?ref_type=heads" chmod 755 getfile.sh
see also ../docs/40_Usage.md.