Hi, ----- On 26 Apr, 2017, at 11:14, Jan Stary h...@stare.cz wrote:
> On Apr 26 11:10:22, h...@stare.cz wrote: >> On Apr 26 11:05:51, davide.lie...@gmail.com 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
