From 80d242ea61854e9ac3f89a8c0cd04458d8968fe1 Mon Sep 17 00:00:00 2001 From: Etienne Pallier Date: Tue, 10 Oct 2023 15:16:18 +0200 Subject: [PATCH] ajout condition git clone guitastro ok pour continuer build --- docker/PYROS_DOCKER_BUILD | 5 +++++ 1 file changed, 5 insertions(+), 0 deletions(-) diff --git a/docker/PYROS_DOCKER_BUILD b/docker/PYROS_DOCKER_BUILD index e9b15ef..d588fca 100755 --- a/docker/PYROS_DOCKER_BUILD +++ b/docker/PYROS_DOCKER_BUILD @@ -1,6 +1,11 @@ #!/usr/bin/env bash +# Git clone guitastro +# This could be done directly in the Dockerfile +# but it is better to do it here because if it failed during the build +# we would have to do all the build again... [ ! -d "../vendor/guitastro/" ] && git clone https://gitlab.irap.omp.eu/guitastrolib/guitastro.git ../vendor/guitastro/ +[ ! -d "../vendor/guitastro/" ] && echo "Error : git clone of GuitAstro failed => cannot go on with the build" && exit 1 export CURRENT_UID=$(id -u) -- libgit2 0.21.2