34 lines
675 B
Bash
Executable file
34 lines
675 B
Bash
Executable file
#!/bin/sh
|
|
|
|
set -e
|
|
set -u
|
|
# DEBUG
|
|
set -x
|
|
|
|
# clone or pull git repo
|
|
_pull() {
|
|
myurl="${1}"
|
|
mydir_raw="$(basename "${myurl}")"
|
|
mydir="${mydir_raw%.git}"
|
|
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'
|
|
_pull 'git@gitea.pangea.org:trustchain-oc1-orchestral/IdHub.git' 'main'
|
|
}
|
|
|
|
main "${@}"
|
|
|