From 14beb13b7cdffd41fa921e43b5b0578c866fd2d8 Mon Sep 17 00:00:00 2001
From: Jephte Clain <Jephte.Clain@univ-reunion.fr>
Date: Sun, 12 Jul 2020 20:17:19 +0400
Subject: [PATCH] dk: support minimal maven

---
 dk | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/dk b/dk
index 3baf2b2..ccf830b 100755
--- a/dk
+++ b/dk
@@ -396,7 +396,9 @@ FONCTIONS de update-apps.conf
             PTD        est remplacé par   prod:prod,test:test,devel:devel
             PT          "     "      "    prod:prod,test:test
         '"Si aucun profil de déploiement ne correspond, le comportement par défaut
-        est de forcer le premier profil défini dans le projet pff"
+        est de forcer le premier profil défini dans le projet pff
+    mvn [ARGS]
+        Lancer maven dans le répertoire destination avec les arguments spécifiés"
 }
 
 function echo_lines() { local IFS=$'\n'; echo "$*"; }
@@ -699,6 +701,13 @@ function update_apps_func_pff() {
     fi
 }
 
+function update_apps_func_mvn() {
+    local cwd="$(pwd)"
+    cd "$DEST"
+    mvn "$@" || die
+    cd "$cwd"
+}
+
 function build_update_apps() {
     [ -n "$BUILD_UPDATE_APPS" ] || return 0
     [ -f update-apps.conf ] || return 0