diff --git a/check_gitlab b/check_gitlab new file mode 100755 index 0000000000000000000000000000000000000000..c946cee5abdf4a7e0bb808d08dc87ba3aa3933d4 --- /dev/null +++ b/check_gitlab @@ -0,0 +1,28 @@ +#!/bin/bash + +GITLAB_REPO='git@gitlab.ics.muni.cz:72906/gitlab_zije.git' +FILE_IN_REPO='gitlab_zije/gitlab_zije' + +HTTP_REPO='https://gitlab.ics.muni.cz/72906/gitlab_zije/raw/master/gitlab_zije' + +TMPREPO=`mktemp -d /tmp/check_gitlab.XXXX` + +$( cd "${TMPREPO}"; git clone "${GITLAB_REPO}" &>/dev/null; ) + +if [ -e "${TMPREPO}/${FILE_IN_REPO}" ]; then + + rm -rf "${TMPREPO}" + + if wget -q --no-check-certificate -O /dev/null "${HTTP_REPO}"; then + echo -n "OK: git se zda plne funkcni|" + exit 0 + else + echo -n "FAIL: Nepovedlo se stahnout soubor pres HTTP!|" + exit 1 + fi +else + rm -rf "${TMPREPO}" + + echo -n "FAIL: git clone neni funkcni!|" + exit 1 +fi