From mboxrd@z Thu Jan 1 00:00:00 1970 From: Ricardo Wurmus Subject: Re: [PATCH] Add MARS shooter. Date: Sat, 19 Sep 2015 10:25:56 +0200 Message-ID: <871tdu7r3f.fsf@elephly.net> References: <8761377ct3.fsf@elephly.net> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8bit Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:46371) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZdDTD-0008WA-Ou for guix-devel@gnu.org; Sat, 19 Sep 2015 04:26:08 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZdDT8-0004FZ-QZ for guix-devel@gnu.org; Sat, 19 Sep 2015 04:26:07 -0400 Received: from sender163-mail.zoho.com ([74.201.84.163]:25644) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZdDT8-0004EX-Ij for guix-devel@gnu.org; Sat, 19 Sep 2015 04:26:02 -0400 In-reply-to: <8761377ct3.fsf@elephly.net> List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org To: guix-devel 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