Re: Port tree linter

Am 2024-02-28 00:52, schrieb Hubert Tournier:
>> Shouldn't this make it to ports-mgmt/ as portlinter?
> 
> If it's deemed useful, I could make the port next week-end.

If you do that, I suggest to use a name which makes it clear that it is 
not a replacement for portlint (which operates on 1 port), and that 
makes it clear that it operates on the whole tree. Maybe portstreelint, 
or portstreecheck, or ptlint, or ptcheck, or whatever, but not 
"portlint*".

Bye,
Alexander.

-- 
http://www.Leidinger.net Alexander@Leidinger.net: PGP 0x8F31830F9F2772BF
http://www.FreeBSD.org    netchild@FreeBSD.org  : PGP 0x8F31830F9F2772BF