Opened 8 years ago
Closed 6 years ago
#53942 closed update (fixed)
generaluser-soundfont: update to 1.471
Reported by: | mojca (Mojca Miklavec) | Owned by: | RJVB (René Bertin) |
---|---|---|---|
Priority: | Normal | Milestone: | |
Component: | ports | Version: | |
Keywords: | Cc: | ||
Port: | generaluser-soundfont |
Description
GeneralUser has been updated, but the regular link under
no longer works for me.
The link
or rather:
does, but only conditionally. In any case I'm unable to convince MacPorts to download the file.
I tried following PortfileRecipes and used
master_sites https://www.dropbox.com/s/4x27l49kxcwamp5/${distfiles}?dl=1&dummy=
but all I can get is some HTML page requesting accepting cookies.
Change History (8)
comment:1 Changed 8 years ago by RJVB (René Bertin)
comment:2 Changed 8 years ago by RJVB (René Bertin)
This works for me:
master_sites https://www.dropbox.com/s/4x27l49kxcwamp5/ fetch { system "wget ${master_sites}/${distname}${extract.suffix} --progress=bar:force -O ${distpath}/${distname}${extract.suffix}" } checksums rmd160 aa8eabb515b0e27ff94b05b6be30ac7e1afc0414 \ sha256 4203835164766f428c4926c097c9ea58dae431c7fb8f9dbe277b92d80da45ec2
comment:3 Changed 6 years ago by slewsys (Andrew L. Moore)
comment:4 Changed 6 years ago by jmroot (Joshua Root)
As suggested in comment:2, you can override the fetch phase and run whatever arbitrary commands you need to, so if this is not available for download from any better-behaved server, you can go that direction. I would avoid wget though since it doesn't come with the OS and so requires an extra dependency.
comment:5 Changed 6 years ago by RJVB (René Bertin)
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.
comment:6 Changed 6 years ago by jmroot (Joshua Root)
No need, this works:
master_sites https://www.dropbox.com/s/4x27l49kxcwamp5/${distfiles}?raw=1&dummy=
i.e. the magic needed is raw=1
rather than dl=1
.
comment:7 Changed 6 years ago by jmroot (Joshua Root)
Or this works even better:
master_sites https://dl.dropbox.com/s/4x27l49kxcwamp5/
comment:8 Changed 6 years ago by mojca (Mojca Miklavec)
Resolution: | → fixed |
---|---|
Status: | new → closed |
Have you tried
wget "https://www.dropbox.com/s/4x27l49kxcwamp5/GeneralUser_GS_1.471.zip"
? That works for me, from the commandline.As a temporary measure, would it be possible to download the archive manually and install it on the MacPorts mirrors so clients will download it from there?