ports/Tools, branch 13.1-eol

Tools/scripts: Improve update-rust-port.sh

2023-07-12T19:17:29Z

* use strict shell mode * check dependencies * update PORTREVISION Suggested by: mikael@ (use of portedit)

Tools/scripts: Add update-rust-port.sh script to simplify Rust port updates

2023-07-12T05:18:21Z

The command 'update-rust-port.sh ', when run in the Rust port directory, updates this port to the requested version. update-rust-port.sh should work in most cases.

Tools/scripts/rmport: do not add a trailing colon when only removing one port

2023-06-03T11:06:52Z

Reported by: sunpoet (via private mail)

Tools/scripts: rmport: force cleaning up at the end

2023-05-20T09:39:45Z

Tools/scripts/bump_revision.pl: default on -l instead of -g

2023-05-11T12:55:24Z

-g option means also bump portevision of indirect dependencies, this is not required by default since at least FreeBSD 11 when we stopped recursively copying DT_NEEDED

Tools/scripts/rmport: also cleanup when being trapped on a signal

2023-04-30T11:40:21Z

This should get rid of stale gitrmlist* and gitlog* files.

Tools/scripts/rmport: remove extraneous trailing '/' in single-port commit messages

2023-04-30T11:29:38Z

Tools/scripts/rmport: try to fix flow for amending the final commit

2023-04-30T11:18:56Z

Tools/scripts/rmport: update copyright year

2023-04-30T11:14:01Z

strip_RECORD.py: move to Mk/Scripts

2023-03-09T11:18:17Z

Requested by: mat