On Thu, Jan 24, 2019 at 9:19 AM Jeroen Demeyer <[email protected]> wrote:
>
> More precisely, the "tarball" is just this HTML fragment:
>
> <html><body>You are being <a
> href="https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.6";>redirected</a>.</body></html>
>
> I don't know how the release manager downloaded that tarball, as the
> link on Trac #25480 is correctly responding with a 302 which any decent
> downloader should automatically follow:

wget would do it right, but ends up creating a misnamed file 5.6.6.tag.gz

curl -O <URL> would download html fragment

curl -O -L <URL> would do the same as wget above does.

curl -L -o blah.foo <URL> would get the correct file and save it to blah.foo

I don't know how to make curl use the correct tarball name for saving.
(it also has options like --post302, I don't know whether they are any better)

Dima



>
>    HTTP/1.1 302 Found
>    Date: Thu, 24 Jan 2019 09:14:59 GMT
>    Content-Type: text/html; charset=utf-8
>    Transfer-Encoding: chunked
>    Server: GitHub.com
>    Status: 302 Found
>    Vary: X-PJAX
>    Location: https://codeload.github.com/msoos/cryptominisat/tar.gz/5.6.6
>
> --
> You received this message because you are subscribed to the Google Groups 
> "sage-release" group.
> To unsubscribe from this group and stop receiving emails from it, send an 
> email to [email protected].
> To post to this group, send email to [email protected].
> Visit this group at https://groups.google.com/group/sage-release.
> For more options, visit https://groups.google.com/d/optout.

-- 
You received this message because you are subscribed to the Google Groups 
"sage-release" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/sage-release.
For more options, visit https://groups.google.com/d/optout.

Reply via email to