Re: how to rename a port

From: Tobias C. Berner <tcberner_at_freebsd.org>
Date: Fri, 16 Jul 2021 09:18:46 +0200
Moin moin


You also need to update the category Makefile: net-mgtm/Makefile for
the new location.
Make sure to run Tools/scripts/MOVEDlint.awk in the tree after editing MOVED :)


mfg Tobias

On Fri, 9 Jul 2021 at 09:41, Anthony Brown <anthony_at_found-it.net> wrote:
>
> 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 16 2021 - 07:18:46 UTC

Original text of this message