Getting a list of all portfiles

[Ryan Schmidt]

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.