From d494e89c9de1ac2634298b182e7817fc10033cbd Mon Sep 17 00:00:00 2001
From: Jephte CLAIN <Jephte.Clain@univ-reunion.fr>
Date: Wed, 4 Mar 2015 11:36:49 +0400
Subject: [PATCH] Ajout de l'option -p

---
 pdev | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/pdev b/pdev
index 40b779f..4816a81 100755
--- a/pdev
+++ b/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"