Commit 80d242ea61854e9ac3f89a8c0cd04458d8968fe1
1 parent
e1b0fb96
Exists in
dev
ajout condition git clone guitastro ok pour continuer build
Showing
1 changed file
with
5 additions
and
0 deletions
Show diff stats
docker/PYROS_DOCKER_BUILD
1 | 1 | #!/usr/bin/env bash |
2 | 2 | |
3 | +# Git clone guitastro | |
4 | +# This could be done directly in the Dockerfile | |
5 | +# but it is better to do it here because if it failed during the build | |
6 | +# we would have to do all the build again... | |
3 | 7 | [ ! -d "../vendor/guitastro/" ] && git clone https://gitlab.irap.omp.eu/guitastrolib/guitastro.git ../vendor/guitastro/ |
8 | +[ ! -d "../vendor/guitastro/" ] && echo "Error : git clone of GuitAstro failed => cannot go on with the build" && exit 1 | |
4 | 9 | |
5 | 10 | export CURRENT_UID=$(id -u) |
6 | 11 | ... | ... |