[MacPorts] #53942: generaluser-soundfont: update to 1.471
MacPorts
noreply at macports.org
Sat Jun 9 08:10:47 UTC 2018
#53942: generaluser-soundfont: update to 1.471
------------------------------------+------------------
Reporter: mojca | Owner: RJVB
Type: update | Status: new
Priority: Normal | Milestone:
Component: ports | Version:
Resolution: | Keywords:
Port: generaluser-soundfont |
------------------------------------+------------------
Comment (by RJVB):
You're not wrong about that. I honestly cannot remember if using `curl`
directly solved the issue (I do remember that I never know how to use that
command properly; wget is so much more user-friendly, to me at least).
Mojca's proposal for `fetch.user_agent` does make sense, but as always
with adding features to base, it would make the port break for anyone who
for some reason cannot update.
--
Ticket URL: <https://trac.macports.org/ticket/53942#comment:5>
MacPorts <https://www.macports.org/>
Ports system for macOS
More information about the macports-tickets
mailing list