possibilité de spécifier un fichier d'environnement pour le build

support/build

@@ -107,6 +107,7 @@ function build_images() {
         case "$image" in
         rundk)
             local -a args=(--bootstrap)
+            [ -n "$Config" ] && args+=(--config "$Config")
             [ -z "$ForceBuild" ] && args+=(--unless-exists)
             [ -n "$Pull" ] && args+=(--pull)
             [ -n "$NoCache" ] && args+=(--no-cache)
@@ -114,7 +115,8 @@ function build_images() {
             ;;
         *)
             if [ -z "$sourced" ]; then
-                source "$PROJDIR/$BUILDENV"
+                [ -n "$Config" ] || Config="$PROJDIR/$BUILDENV"
+                source "$Config"
                 after_source_buildenv
                 read -a HOST_MAPPINGS <<<"${HOST_MAPPINGS//
 / }"
@@ -127,6 +129,7 @@ function build_images() {
 }
 
 action=build
+Config=
 ForceBuild=
 Pull=
 NoCache=
@@ -136,6 +139,7 @@ args=(
     "Construire les images pour DRE"
     #"usage"
     --check-only action=none "++Ne faire que la vérification de l'environnement"
+    -c:,--config:BUILDENV Config= "Spécifier un fichier d'environnement pour le build"
     -r,--rebuild ForceBuild=1 "Forcer la (re)construction de l'image"
     -U,--pull Pull=1 "++Forcer le re-téléchargement des images dépendantes"
     -j,--no-cache NoCache=1 "++Construire l'image en invalidant le cache"