On Oct 10, 2013, at 05:20, Joshua Root wrote: > On 2013-10-10 20:31 , Vincent Habchi wrote: >>> BTW, the port now has redundant name and version lines, and the case of >>> the parent dir does not match that of the name. >> >> Oh, I know. But I thought a capitalized name would look terrible; what’s >> your opinion? > > Well you should just remove the unnecessary (and now old) version line. > The name line can be moved to after the github.setup to override it.
…like I had it in the patch I provided in #40720 :) As for whether a port name should contain uppercase letters, that's entirely up to the maintainer, but the port's name is generally decided when the port is created, not changed later. Though I think we discovered that changing the case does actually work ok, even for upgrading users. _______________________________________________ macports-dev mailing list [email protected] https://lists.macosforge.org/mailman/listinfo/macports-dev
