Hi, ----- On 26 Apr, 2017, at 11:14, Jan Stary [email protected] wrote:
> On Apr 26 11:10:22, [email protected] wrote: >> On Apr 26 11:05:51, [email protected] wrote: >> > Probably `portindex` in the ports directory? >> >> That was it, thanks. > > Would it be a good git-pull hook > to have it done automatically? Change your habits to run 'sudo port sync' (or 'sudo port -v sync'). The sync action solves exactly this problem, no need to re-invent it. -- Clemens Lang
