diff options
| author | Rene Ladan <rene@FreeBSD.org> | 2023-02-19 19:37:46 +0000 |
|---|---|---|
| committer | Rene Ladan <rene@FreeBSD.org> | 2023-02-19 19:42:20 +0000 |
| commit | f08b42fbd9c849b7dcde7a9c23ed4a5025e1b6b9 (patch) | |
| tree | 6f4b4125f9a1f161f62118582b141348efbb9f38 /Tools | |
| parent | e65d3eeb6a497f9af9aff37eda0ee050e70dd5c6 (diff) | |
| download | ports-f08b42fbd9c849b7dcde7a9c23ed4a5025e1b6b9.tar.gz ports-f08b42fbd9c849b7dcde7a9c23ed4a5025e1b6b9.zip | |
Tools/scripts: use a port-specific commit message if removing a single port.
This helps in `git shortlog`, replacing "cleanup: Remove expired ports" by
"category/port: Remove expired port" for a given category and port.
Reported by: gerald
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/rmport | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index 30d8e219441d..dd1251f54a78 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -410,7 +410,16 @@ fi gitlog=$(mktemp -t gitlog) gitrmlist=$(mktemp -t gitrmlist) -echo "cleanup: Remove expired ports:" > ${gitlog} +if [ $# -eq 1 ] ; then + topic="$1" + plural="" +else + log "/!\\ Removing multiple ports at once, commit topic will generic /!\\" + topic="cleanup" + plural="s" +fi + +echo "${topic}: Remove expired port${plural}:" > ${gitlog} echo "" >> ${gitlog} for catport in $* ; do |