diff --git a/pff b/pff index 6f379e1..010ddb7 100755 --- a/pff +++ b/pff @@ -996,6 +996,8 @@ function patch_cmd() { $(qvals source "$ULIBDIR/ulib") urequire DEFAULTS function abort() { $(qvals touch "$controldir/ABORT"); exit; } +function a() { abort \"\$@\"; } # raccourci pour abort +function d() { exit; } # raccourci pour done $(qvals cd "$workdir") $(qvals eerror "Une erreur s'est produite: examinez la situation et faites les corrections nécessaires") $(qvals eimportant "Puis tapez exit pour valider l'intégration de la version")