dk: support de --pull

dk

@@ -18,7 +18,7 @@ Certaines commandes ci-dessous ont le même nom que des commandes docker, et
 nécessitent un projet docker ou docker-compose. Si ces commandes sont lancées
 alors qu'on n'est pas dans un projet docker, alors elles sont passées telle
 quelles à docker. ATTENTION: comme la commande est exécutée par docker, cela
-veut dire qu'elle n'aura pas la même sématique.
+veut dire qu'elle n'aura pas la même sémantique.
 
 COMMANDES
     get-profile
@@ -284,6 +284,8 @@ OPTIONS build
         deploy, by, bpy et update impliquent --stack
     -j, --no-cache
         Ne pas utiliser le cache lors du build
+    -U, --pull
+        Essayer de récupérer une version plus récente de l'image source
     -g, --ug, --no-update-apps
         ne pas mettre à jour les dépôts dépendants. ces dépôts sont définis dans
         le fichier update-apps.conf qui a le format suivant:
@@ -1009,6 +1011,7 @@ function default_compose_build() {
         "${replace_env_args[@]}" "${env_args[@]}" \
         build \
         ${NO_CACHE:+--no-cache} \
+        ${PULL:+--pull} \
         "${replace_build_args[@]}" "${build_args[@]}" \
         "$@"
 }
@@ -1019,6 +1022,7 @@ function default_docker_build() {
     done
     ${FAKE:+qvals} "$DOCKER" build \
         ${NO_CACHE:+--no-cache} \
+        ${PULL:+--pull} \
         "${replace_env_args[@]}" "${env_args[@]}" \
         "${replace_build_args[@]}" "${build_args[@]}" \
         "$@" "$CTXDIR"
@@ -1955,6 +1959,7 @@ FAKE=
 VARS=()
 FORCE=
 NO_CACHE=
+PULL=
 HOST=
 WITH_REGISTRY_AUTH=1
 update_apps_mode=ub
@@ -1976,6 +1981,7 @@ args=(
     -e:,--build-arg:,--env: VARS
     -f,--force FORCE=1
     -j,--no-cache NO_CACHE=1
+    -U,--pull PULL=1
     -h:,--host: HOST=
     -g,--ug,--no-update-apps update_apps_mode=b
     -u,--uu,--update-apps-only update_apps_mode=u