diff options
| author | Rene Ladan <rene@FreeBSD.org> | 2023-06-03 11:05:28 +0000 |
|---|---|---|
| committer | Rene Ladan <rene@FreeBSD.org> | 2023-06-03 11:06:52 +0000 |
| commit | 206e6293bd6cf689ecc3893f1306f171c0a2e8d0 (patch) | |
| tree | b64f2110d07c6ec36e4cc8eed734d1d696f6b764 /Tools | |
| parent | db12b15e5e9e90d22b6478447ded3ceabab24de8 (diff) | |
| download | ports-206e6293bd6cf689ecc3893f1306f171c0a2e8d0.tar.gz ports-206e6293bd6cf689ecc3893f1306f171c0a2e8d0.zip | |
Tools/scripts/rmport: do not add a trailing colon when only removing one port
Reported by: sunpoet (via private mail)
Diffstat (limited to 'Tools')
| -rwxr-xr-x | Tools/scripts/rmport | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Tools/scripts/rmport b/Tools/scripts/rmport index aea264512b87..776f1efcb8c0 100755 --- a/Tools/scripts/rmport +++ b/Tools/scripts/rmport @@ -415,13 +415,15 @@ gitrmlist=$(mktemp -t gitrmlist) if [ $# -eq 1 ] ; then topic="${1%/}" plural="" + colon="" else log "/!\\ Removing multiple ports at once, commit topic will be generic /!\\" topic="cleanup" plural="s" + colon=":" fi -echo "${topic}: Remove expired port${plural}:" > ${gitlog} +echo "${topic}: Remove expired port${plural}${colon}" > ${gitlog} echo "" >> ${gitlog} for catport in $* ; do |