From a0752e9d94faf6e670a869c1cd1b9d41429c9d57 Mon Sep 17 00:00:00 2001 From: Jephte Clain Date: Sat, 24 Feb 2018 08:36:27 +0400 Subject: [PATCH] maj doc --- pff | 18 +++++++++++++++++- 1 file changed, 17 insertions(+), 1 deletion(-) diff --git a/pff b/pff index 2df24d6..e4ec288 100755 --- a/pff +++ b/pff @@ -169,9 +169,16 @@ supportées sont: --no-unwrap Intégrer tel quel le contenu de l'archive. - -p, --patch [WORKDIR] + --patch [WORKDIR] Intégrer les modifications entrantes sur les fichiers nouvellement arrivés via l'option --new + --ask-commit + -c, --commit + --no-commit + Après l'intégration avec succès d'un patch, demander à l'utilisateur + s'il veut faire commit & push dans git (--ask-commit, la valeur par + défaut), le faire sans confirmation (--commit), ou ne jamais le faire + (--no-commit) -a, --add-global FILES... Ajouter/Identifier un fichier comme un fichier local pour tous les @@ -191,6 +198,15 @@ supportées sont: spécifique au profil courant. -e, --edit FILES... Editer des fichiers, implique --add-local + -p, --profile PROFILE + Pour les options --add-local et --edit, sélectionner le profil spécifié + comme celui concerné pour les fichier mentionnés après cette option. Par + exemple: + $scriptname -e A -pprod B C -ptest D + Edite le fichier A du profil courant, les fichiers B et C du profil prod + et le fichier D du profil test. + Si cette option est utilisée pour sélectionner un fichier dans un autre + profil, le profil courant est restauré à la fin de la commande. -d, --diff [DESTP [WORKDIR]] -d, --diff [SRCP DESTP [WORKDIR]]