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

32 lines
557 B
Bash
Raw Normal View History

2023-10-10 08:53:27 +00:00
#!/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 "${@}"