how to rename a port

From: Anthony Brown <anthony_at_found-it.net>
Date: Fri, 9 Jul 2021 08:41:14 +0100
Hi
   I am the maintainer for https://www.freshports.org/net-mgmt/unifi-poller/
and the upstream project has had to change its name to unpoller so I want
to change the port name to reflect this.

   How should I manage the user and group previously created in
/usr/ports/UID and /usr/ports/GID for this? Should I rename the previously
added user/group, or should I add a new user/group and mark the previous
one as available again?

   Also, apart from adding an entry to /usr/ports/MOVED (and updating port
location in /usr/ports and port files) is there anything else I need to do
to mark the port as moved?

Thanks

Anthony
Received on Fri Jul 09 2021 - 07:41:14 UTC

Original text of this message