bug#20962: guix download error "Bad Date header"

bug#20962: guix download error "Bad Date header"

[m8r-y0v7u9]

Hi,

guix download doesn't seem to like date headers that don't use GMT / UTC.  #guix irc logs from 2013-10-16 mention something similar.  Any suggestions or work-arounds?

Below is some relevant output -- first with guix download, then with wget -S (note the Expires header):

$ guix download \
https://dl-ssl.google.com/android/repository/platform-tools_r22-linux.zip
starting download of `/tmp/guix-file.o8FJB9' from `https://dl-ssl.google.com/android/repository/platform-tools_r22-linux.zip'...
ERROR: Bad Date header: Fri, 03 Jul 2015 01:39:41 PDT

failed to download "/tmp/guix-file.o8FJB9" from "https://dl-ssl.google.com/android/repository/platform-tools_r22-linux.zip"
guix download: error: https://dl-ssl.google.com/android/repository/platform-tools_r22-linux.zip: download failed

$ wget -S https://dl-ssl.google.com/android/repository/platform-tools_r22-linux.zip
--2015-07-02 16:49:11--  https://dl-ssl.google.com/android/repository/platform-tools_r22-linux.zip
Resolving dl-ssl.google.com (dl-ssl.google.com)... 173.194.72.91, 173.194.72.136, 173.194.72.190, ...
Connecting to dl-ssl.google.com (dl-ssl.google.com)|173.194.72.91|:443... connected.
HTTP request sent, awaiting response... 
  HTTP/1.1 200 OK
  Accept-Ranges: bytes
  Content-Length: 1751911
  Content-Type: application/zip
  Etag: "50c5a"
  Expires: Fri, 03 Jul 2015 00:49:11 PDT
  Last-Modified: Tue, 10 Mar 2015 17:00:00 GMT
  Server: downloads
  X-Content-Type-Options: nosniff
  X-Frame-Options: SAMEORIGIN
  X-Xss-Protection: 1; mode=block
  Date: Thu, 02 Jul 2015 07:49:11 GMT
  Alternate-Protocol: 443:quic,p=1
Length: 1751911 (1.7M) [application/zip]
Saving to: ‘platform-tools_r22-linux.zip’

platform-tools_r22- 100%[=====================>]   1.67M  2.35MB/s   in 0.7s   

2015-07-02 16:49:12 (2.35 MB/s) - ‘platform-tools_r22-linux.zip’ saved [1751911/1751911]

bug#20962: guix download error "Bad Date header"

[m8r-y0v7u9]

Found a work around.

1. Download file in question via wget, curl, or other appropriate means.

2. guix download file:///<full-path-to-file>

Seems to work here.

bug#20962: Bug Hunting: status?

[zimoun]

Dear,

This bug is pending since a long time. Does it still apply?
If yes, any progress to report?
If no, do you agree to close it?

Thanks in advance for any comments.

All the best,
simon

bug#20962: Bug Hunting: status?

[Ludovic Courtès]

Hi,

I believe the HTTP ‘Date’ header parsing issue was fixed in Guile
commits b9f6e89a271c04741231b64b03fe7fc294723f1d and
8904b7a9362ede0de324e55701d8ea1d018f8738.

The example given in this bug report now passes:

--8<---------------cut here---------------start------------->8---
$ guix download  https://dl-ssl.google.com/android/repository/platform-tools_r22-linux.zip

Starting download of /tmp/guix-file.efjI7B
From https://dl-ssl.google.com/android/repository/platform-tools_r22-linux.zip...
 …_r22-linux.zip  1.7MiB                                                                                                                 13.0MiB/s 00:00 [##################] 100.0%
/gnu/store/8ysf0vq1ghdmfypr3lnnr0zzlqslpyp2-platform-tools_r22-linux.zip
1kbp5fzfdas6c431n53a9w0z0182ihhadd1h8a64m1alkw0swr41
--8<---------------cut here---------------end--------------->8---

Closing!

Ludo’.