On Mar 29, 2018, at 22:55, Andrew Moore wrote:

> If ports are managed by git(1), ls-files seems to be the fastest method of 
> getting a list of Portfiles.
> 
> $ time git -C /ports ls-files /*/Portfile >/dev/null
> 
> real  0m0.100s
> user  0m0.030s
> sys   0m0.020s
> $

Thanks, I didn't know about that, and it is very fast. Perhaps one day I will 
be comfortable enough with git that I can switch over to a git clone as my 
primary ports tree.

Reply via email to