diff --git a/gitlab/install.sh b/gitlab/install.sh index 8adb34b7f3cebf8ad4ab118feaefe90726231282..09cf8e6d492ae3741e37a50f83a7b40278b9d7e8 100755 --- a/gitlab/install.sh +++ b/gitlab/install.sh @@ -4,11 +4,18 @@ # Installation script for our build tools if [ "${#}" -ne 1 ]; then - echo "usage: ${0} <ci-support-directory>" + echo "usage: ${0} <ci-support-directory> [<branch>]" echo "example: ${0} _ci" + echo "example: ${0} _ci staging" exit 1 fi +if [ -n "$2" ]; then + BRANCH=$2; +else + BRANCH=master; +fi + # Functions for coloring echo commands log_info() { @@ -34,7 +41,7 @@ run_cmd() { get_script() { - local url="https://gitlab.idiap.ch/bob/bob.admin/raw/master/gitlab/${2}" + local url="https://gitlab.idiap.ch/bob/bob.admin/raw/${BRANCH}/gitlab/${2}" local curlopt="--location --silent --show-error --output ${1}/${2}" if [ -e ${1}/${2} ]; then rm -f ${1}/${2}