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.