Re: [PATCH] Add MARS shooter.

[Ricardo Wurmus]

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