[MacPorts] #55241: base: MediaInfo: fails to upgrade in normal `port upgrade outdated` run
MacPorts
noreply at macports.org
Sat Nov 4 13:13:18 UTC 2017
#55241: base: MediaInfo: fails to upgrade in normal `port upgrade outdated` run
------------------------+--------------------
Reporter: Ionic | Owner:
Type: defect | Status: new
Priority: Normal | Milestone:
Component: base | Version: 2.4.99
Resolution: | Keywords:
Port: MediaInfo |
------------------------+--------------------
Comment (by ctreleaven):
BTW, port lint doesn't like the naming difference:
{{{
$ port lint --nitpick
---> Verifying Portfile for MediaInfo
Error: Portfile directory mediainfo does not match port name MediaInfo
---> 1 errors and 0 warnings found.
}}}
Incidentally, I suppose I could just override the name field that is
coming from github.setup back to "mediainfo". Will that throw the port
index into a tail spin?
--
Ticket URL: <https://trac.macports.org/ticket/55241#comment:6>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list