[MacPorts] #55241: base: MediaInfo: fails to upgrade in normal `port upgrade outdated` run
MacPorts
noreply at macports.org
Sat Nov 4 14:50:33 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 ryandesign):
Replying to [ticket:55241 Ionic]:
> {{{
> The following installed ports are outdated:
> [...]
> mediainfo 0.7.99_0 < 17.10_1
> }}}
>
> `port upgrade outdated`:
> {{{
> Nothing to upgrade.
> }}}
>
> Upgrading the port "manually" via `port upgrade mediainfo` works,
though.
>
> We probably should decide whether we want port names to be case
sensitive or not and what to do in such edge cases.
We want port names to be handled case-insensitively. There have been
numerous case-only renames of ports in the past and we want to continue to
allow that to happen in the future if needed. `port upgrade outdated`
should be fixed to handle this.
Replying to [comment:6 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?
If you meant to change the case of the port name, then fix the case of the
directory to match. If you did not mean to change the case of the port
name, put the port name back to the old case.
--
Ticket URL: <https://trac.macports.org/ticket/55241#comment:8>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list