From 3a2c28b778a7fc7f620c584268c04e46e94bf427 Mon Sep 17 00:00:00 2001 From: Jephte Clain Date: Fri, 28 Feb 2025 09:08:00 +0400 Subject: [PATCH] cosmetic --- bash/src/pman.sh | 39 ++++++++++++++++++++------------------- bin/prel | 24 ++++++++++++++---------- 2 files changed, 34 insertions(+), 29 deletions(-) diff --git a/bash/src/pman.sh b/bash/src/pman.sh index d4e00ae..f009a54 100644 --- a/bash/src/pman.sh +++ b/bash/src/pman.sh @@ -76,19 +76,19 @@ function _list_commits() { _filter_rel } -function _script_echo() { +function _scripte() { echo >>"$script" - echo "$comment$(qvals echo "$@")" >>"$script" + echo "$comment$(qvals "$@")" >>"$script" } -function _script_add() { - [ $# -gt 0 ] && _script_echo "$*" +function _scripta() { + [ $# -gt 0 ] && _scripte einfo "$*" cat >>"$script" } function _script_push_branches() { local origin branch - _script_echo "* push branches" + _scripte einfo "push branches" for branch in "${push_branches[@]}"; do origin="$Origin" [ -n "$origin" ] || setx origin=git_get_branch_remote "$branch" @@ -96,11 +96,11 @@ function _script_push_branches() { setx rbranch=git_get_branch_rbranch "$branch" "$origin" if [ -n "$rbranch" ]; then rbranch="${rbranch#refs/remotes/$origin/}" - _script_add <"$script" - _script_add <"$script" - _script_add <VERSION.txt git add VERSION.txt EOF # Enregistrer les changements - _script_add "* commit" <Init changelog & version $Version") EOF } @@ -343,19 +344,19 @@ function _rscript_merge_release_branch() { local dest="$1" tag="$2" # basculer sur la branche - _script_add "* switch to branch $dest" <Intégration de la branche $ReleaseBranch" --no-ff)$or_die EOF array_addu push_branches "$dest" # tagger la release if [ -n "$tag" ]; then - _script_add "* create tag $tag" <