diff --git a/CHANGES.md b/CHANGES.md index 901c211..c5910fa 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,3 +1,3 @@ -## Release 0.3.1p74 du 28/02/2025-20:21 +## Release 0.3.2p74 du 28/02/2025-20:28 (tech) Migration vers pman diff --git a/VERSION.txt b/VERSION.txt index 9e11b32..d15723f 100644 --- a/VERSION.txt +++ b/VERSION.txt @@ -1 +1 @@ -0.3.1 +0.3.2 diff --git a/bash/src/pman.sh b/bash/src/pman.sh index b095039..9df7df9 100644 --- a/bash/src/pman.sh +++ b/bash/src/pman.sh @@ -71,7 +71,7 @@ $1 == "|" { function _list_commits() { local source="${1:-$SrcBranch}" dest="${2:-$DestBranch}" mergebase setx mergebase=git merge-base "$dest" "$source" - git log --oneline --graph "$mergebase..$source" | + git log --oneline --graph --no-decorate "$mergebase..$source" | grep -vF '|\' | grep -vF '|/' | sed -r 's/^(\| )+\* +/| /; s/^\* +/+ /' | _filter_rel } diff --git a/bin/pdev b/bin/pdev index c077954..c0433e2 100755 --- a/bin/pdev +++ b/bin/pdev @@ -83,7 +83,7 @@ EOF elif ! "$script" merge ${Delete:+delete} ${Push:+push}; then eimportant "Veuillez consulter le script $script pour le détail des opérations qui n'ont pas pu êtres effectuées" die - elif [ -n "$Deleted" -n "$Pushed" ]; then + elif [ -n "$Deleted" -a -n "$Pushed" ]; then [ -n "$_KeepScript" ] || rm "$script" else local cmd