|Summary:||ports-mgmt/portlint: portlint ignores PORTSDIR in /etc/make.conf|
|Product:||Ports & Packages||Reporter:||Lorenzo Salvadore <salvadore>|
|Component:||Individual Port(s)||Assignee:||Joe Marcus Clarke <marcus>|
|Severity:||Affects Only Me||Flags:||bugzilla:
Description Lorenzo Salvadore 2020-03-14 17:40:56 UTC
I saw that users can define PORTSDIR in their environment in case they have their ports tree in a location different than /usr/ports. However non standard location of ports tree already brings users to define the PORTSDIR variable in /etc/make.conf, so it would be very nice if portlint looked into there for a PORTSDIR definition instead of (or in addition to) looking to environment variables.
Comment 1 Joe Marcus Clarke 2020-05-30 13:17:45 UTC
Committed to my repo pending the next release.
Comment 2 Joe Marcus Clarke 2020-05-30 13:55:24 UTC
Supported added in 2.19.0.