diff --git a/gitlab/install.sh b/gitlab/install.sh index 6089fddce0d40a813b65fca1f697efea7c59209c..813ec4ea86d4f9581f8b239cba7b4064ac736b90 100755 --- a/gitlab/install.sh +++ b/gitlab/install.sh @@ -36,18 +36,9 @@ run_cmd() { get_script() { local url="https://gitlab.idiap.ch/bob/bob.admin/raw/master/gitlab/${2}" local curlopt="--location --silent --show-error --output ${1}/${2}" - if [ -e ${1}/${2} ]; then #check for updates - local checkopt="${curlopt} --time-cond ${1}/${2} --silent" - checkopt="${checkopt} --write-out %{http_code}" - if [ "$(curl ${checkopt} ${url})" == "200" ]; then - log_info "CI script ${1}/${2} needs updating..." - rm -f ${1}/${2} - else - log_info "CI script ${1}/${2} is up-to-date" - return 0 - fi + if [ -e ${1}/${2} ]; then + rm -f ${1}/${2} fi - # check file needs updating run_cmd curl ${curlopt} ${url} }