Hi again,
> attached is a patch to add MARS. This is really a fun game and you can
> play it with a friend on the same machine.
Eric Bavier told me on IRC that there is actually a tarball I could use
instead of the git reference, so I tried it:
$ guix download
https://github.com/downloads/thelaui/M.A.R.S./mars_source_0.7.5.tar.gz
starting download of `/tmp/guix-file.674jSo' from
`https://github.com/downloads/thelaui/M.A.R.S./mars_source_0.7.5.tar.gz'...
following redirection to
`https://cloud.github.com/downloads/thelaui/M.A.R.S./mars_source_0.7.5.tar.gz'...
ERROR: Bad media-type header component: .gz
failed to download "/tmp/guix-file.674jSo" from
"https://github.com/downloads/thelaui/M.A.R.S./mars_source_0.7.5.tar.gz";
guix download: error:
https://github.com/downloads/thelaui/M.A.R.S./mars_source_0.7.5.tar.gz:
download failed
“wget --server-response” tells me that these are the headers:
~~~~~~
...
Location:
https://cloud.github.com/downloads/thelaui/M.A.R.S./mars_source_0.7.5.tar.gz
[following]
--2015-09-19 10:21:18--
https://cloud.github.com/downloads/thelaui/M.A.R.S./mars_source_0.7.5.tar.gz
Resolving cloud.github.com (cloud.github.com)... 54.230.44.22, 54.230.44.124,
54.230.44.114, ...
Connecting to cloud.github.com (cloud.github.com)|54.230.44.22|:443...
connected.
HTTP request sent, awaiting response...
HTTP/1.1 200 OK
Content-Type: .gz
Content-Length: 86856256
Connection: keep-alive
Date: Sat, 19 Sep 2015 08:21:20 GMT
Last-Modified: Fri, 29 Jun 2012 16:04:12 GMT
ETag: "bbbc5fda27ce7f35a0660269c11e93d6"
Accept-Ranges: bytes
Server: AmazonS3
X-Cache: Miss from cloudfront
Via: 1.1 d2fa707728d9947a31db9f8dc3e9e56c.cloudfront.net (CloudFront)
X-Amz-Cf-Id: HSTrtLUzjdqLxCh9_ZoNDe5WGkZcCF7-gs9mGYBYe32i3ADvttP9gA==
~~~~~~
“Content-Type: .gz” is what trips up “guix download”. What follows
“Content-Type:” should be a mime type and I suppose “.gz” is not a valid
mime type. Would it make sense for the HTTP client to be a little more
tolerant about this?
~~ Ricardo
