Ajout de l'option -p

pdev

@@ -21,6 +21,11 @@ USAGE
   solution, sinon afficher un menu pour choisir la branche de destination.
 
 OPTIONS
+    -p, --projdir PROJDIR
+        Spécifier le répertoire de base du projet qui est dans git. Par défaut,
+        on travaille dans le répertoire courant et on laisse git trouver le
+        répertoire de base du projet. Avec cette option, le répertoire courant
+        est modifié avant de lancer les commandes git.
     -O, --origin ORIGIN
         Spécifier le nom de l'origine. Par défaut, utiliser 'origin'
     -m, --merge
@@ -34,16 +39,22 @@ OPTIONS
         par rapport à develop, sous forme de diff."
 }
 
+projdir=
 origin=origin
 action=branch
 parse_opts "${PRETTYOPTS[@]}" \
     --help '$exit_with display_help' \
+    -p:,--projdir: projdir= \
     -O:,--origin: origin= \
     -m,--merge action=merge \
     -l,--log action=log \
     -d,--diff action=diff \
     @ args -- "$@" && set -- "${args[@]}" || die "$args"
 
+if [ -n "$projdir" ]; then
+    cd "$projdir" || die
+fi
+
 git_ensure_gitvcs
 if ! git_have_branch develop; then
     estepn "Configuration de la branche develop"