add idhub repo (TODO docker part)

This commit is contained in:
pedro 2023-10-10 11:08:32 +02:00
parent 24560d2370
commit f84539f6b7
3 changed files with 20 additions and 10 deletions

1
.gitignore vendored
View File

@ -5,3 +5,4 @@
django-orchestra
django-musician
IdHub

View File

@ -3,26 +3,33 @@ project := dkr-dsg.ac.upc.edu/trustchain-oc1-orchestral
# docker images
# docker images
orchestra_branch := `git -C django-orchestra branch --show-current`
orchestra_commit := `git -C django-orchestra log -1 --format=%h`
orchestra_tag := ${orchestra_branch}__${orchestra_commit}
orchestra_image := ${project}/orchestra:${orchestra_tag}
musician_branch := `git -C django-musician branch --show-current`
musician_commit := `git -C django-musician log -1 --format=%h`
musician_tag := ${orchestra_branch}__${musician_commit}
musician_image := ${project}/musician:${musician_tag}
####
# orchestra image tag
####
orchestra_branch := `git -C django-orchestra branch --show-current`
orchestra_commit := `git -C django-orchestra log -1 --format=%h`
orchestra_tag := ${orchestra_branch}__${orchestra_commit}
orchestra_image := ${project}/orchestra:${orchestra_tag}
####
# musician image tag
####
musician_branch := `git -C django-musician branch --show-current`
musician_commit := `git -C django-musician log -1 --format=%h`
musician_tag := ${orchestra_branch}__${musician_commit}
musician_image := ${project}/musician:${musician_tag}
####
# idhub image tag
####
idhub_branch := `git -C django-idhub branch --show-current`
idhub_commit := `git -C django-idhub log -1 --format=%h`
idhub_tag := ${orchestra_branch}__${idhub_commit}
idhub_image := ${project}/idhub:${idhub_tag}
docker_build:
docker build -f docker/orchestra.Dockerfile -t ${orchestra_image} .
docker build -f docker/musician.Dockerfile -t ${musician_image} .

View File

@ -8,7 +8,8 @@ set -x
# clone or pull git repo
_pull() {
myurl="${1}"
mydir="$(basename "${myurl}")"
mydir_raw="$(basename "${myurl}")"
mydir="${mydir_raw%.git}"
mybranch="${2}"
if [ -d "${mydir}" ]; then
@ -25,6 +26,7 @@ _pull() {
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 "${@}"