Re: how to rename a port

From: Tobias C. Berner <>
Date: Fri, 16 Jul 2021 07:18:46 UTC
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 <> wrote:
> Hi
>    I am the maintainer for
> 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