Date: Fri, 9 Jul 2021 08:41:14 +0100 From: Anthony Brown <anthony@found-it.net> To: freebsd-ports <freebsd-ports@freebsd.org> Subject: how to rename a port Message-ID: <CAON0-ReuK9Bejf%2BObwtskjHT=reR5PyKTaGzeVFf0%2BqV0gYWrA@mail.gmail.com>
next in thread | raw e-mail | index | archive | help
--00000000000012497d05c6abe6f2 Content-Type: text/plain; charset="UTF-8" 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 --00000000000012497d05c6abe6f2--
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?CAON0-ReuK9Bejf%2BObwtskjHT=reR5PyKTaGzeVFf0%2BqV0gYWrA>