- User Since
- Apr 18 2014, 5:23 AM (358 w, 6 d)
Tue, Mar 2
I do like what I see and it can be used in long term for other areas, if no other portmgr step here I will merge this in a week
Mon, Mar 1
Fri, Feb 26
Thank you I have committed it!
oups I accepted by accident my own patch ;)
no the hashed db isn't faster, the hashed allow the ports tree to simply add its own terminal definition without the requirement of a script.
It allows base and ports to coexist better reusing common locations