This repository has been archived on 2024-05-31. You can view files and clone it, but cannot push or open issues or pull requests.
idhub-docker/pull-repos.sh
2023-10-10 10:54:09 +02:00

32 lines
557 B
Bash
Executable file

#!/bin/sh
set -e
set -u
# DEBUG
set -x
# clone or pull git repo
_pull() {
myurl="${1}"
mydir="$(basename "${myurl}")"
mybranch="${2}"
if [ -d "${mydir}" ]; then
cd "${mydir}"
git checkout "${mybranch}"
git pull
cd -
else
git clone "${myurl}" "${mydir}"
fi
}
main() {
_pull 'https://gitea.pangea.org/pangea/django-orchestra' 'sso'
_pull 'https://gitea.pangea.org/pangea/django-musician' 'sso'
}
main "${@}"