2013-01-05 16:08:07 +01:00
|
|
|
|
;;; GNU Guix --- Functional package management for GNU
|
2014-02-10 00:03:34 +01:00
|
|
|
|
;;; Copyright © 2012, 2013, 2014 Ludovic Courtès <ludo@gnu.org>
|
2015-02-19 01:33:10 +01:00
|
|
|
|
;;; Copyright © 2015 Mark H Weaver <mhw@netris.org>
|
2012-11-12 23:10:26 +01:00
|
|
|
|
;;;
|
2013-01-05 16:08:07 +01:00
|
|
|
|
;;; This file is part of GNU Guix.
|
2012-11-12 23:10:26 +01:00
|
|
|
|
;;;
|
2013-01-05 16:08:07 +01:00
|
|
|
|
;;; GNU Guix is free software; you can redistribute it and/or modify it
|
2012-11-12 23:10:26 +01:00
|
|
|
|
;;; under the terms of the GNU General Public License as published by
|
|
|
|
|
;;; the Free Software Foundation; either version 3 of the License, or (at
|
|
|
|
|
;;; your option) any later version.
|
|
|
|
|
;;;
|
2013-01-05 16:08:07 +01:00
|
|
|
|
;;; GNU Guix is distributed in the hope that it will be useful, but
|
2012-11-12 23:10:26 +01:00
|
|
|
|
;;; WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
|
;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
|
;;; GNU General Public License for more details.
|
|
|
|
|
;;;
|
|
|
|
|
;;; You should have received a copy of the GNU General Public License
|
2013-01-05 16:08:07 +01:00
|
|
|
|
;;; along with GNU Guix. If not, see <http://www.gnu.org/licenses/>.
|
2012-11-12 23:10:26 +01:00
|
|
|
|
|
|
|
|
|
(define-module (guix build download)
|
|
|
|
|
#:use-module (web uri)
|
|
|
|
|
#:use-module (web client)
|
|
|
|
|
#:use-module (web response)
|
|
|
|
|
#:use-module (guix ftp-client)
|
|
|
|
|
#:use-module (guix build utils)
|
|
|
|
|
#:use-module (rnrs io ports)
|
2012-11-12 23:20:06 +01:00
|
|
|
|
#:use-module (srfi srfi-1)
|
2012-11-12 23:10:26 +01:00
|
|
|
|
#:use-module (srfi srfi-11)
|
2012-11-12 23:20:06 +01:00
|
|
|
|
#:use-module (srfi srfi-26)
|
2012-11-12 23:10:26 +01:00
|
|
|
|
#:use-module (ice-9 match)
|
2013-01-06 18:24:53 +01:00
|
|
|
|
#:use-module (ice-9 format)
|
2014-12-28 17:55:16 +01:00
|
|
|
|
#:export (open-connection-for-uri
|
2015-02-19 01:33:10 +01:00
|
|
|
|
resolve-uri-reference
|
2014-12-29 20:51:12 +01:00
|
|
|
|
maybe-expand-mirrors
|
2014-12-28 17:55:16 +01:00
|
|
|
|
url-fetch
|
2013-06-20 23:41:11 +02:00
|
|
|
|
progress-proc
|
|
|
|
|
uri-abbreviation))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
;;;
|
|
|
|
|
;;; Fetch data such as tarballs over HTTP or FTP (builder-side code).
|
|
|
|
|
;;;
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
2013-01-06 18:24:53 +01:00
|
|
|
|
(define* (progress-proc file size #:optional (log-port (current-output-port)))
|
|
|
|
|
"Return a procedure to show the progress of FILE's download, which is
|
|
|
|
|
SIZE byte long. The returned procedure is suitable for use as an
|
|
|
|
|
argument to `dump-port'. The progress report is written to LOG-PORT."
|
|
|
|
|
(if (number? size)
|
|
|
|
|
(lambda (transferred cont)
|
|
|
|
|
(let ((% (* 100.0 (/ transferred size))))
|
|
|
|
|
(display #\cr log-port)
|
|
|
|
|
(format log-port "~a\t~5,1f% of ~,1f KiB"
|
|
|
|
|
file % (/ size 1024.0))
|
|
|
|
|
(flush-output-port log-port)
|
|
|
|
|
(cont)))
|
|
|
|
|
(lambda (transferred cont)
|
|
|
|
|
(display #\cr log-port)
|
|
|
|
|
(format log-port "~a\t~6,1f KiB transferred"
|
|
|
|
|
file (/ transferred 1024.0))
|
|
|
|
|
(flush-output-port log-port)
|
|
|
|
|
(cont))))
|
|
|
|
|
|
2013-01-11 15:41:58 +01:00
|
|
|
|
(define* (uri-abbreviation uri #:optional (max-length 42))
|
|
|
|
|
"If URI's string representation is larger than MAX-LENGTH, return an
|
|
|
|
|
abbreviation of URI showing the scheme, host, and basename of the file."
|
|
|
|
|
(define uri-as-string
|
|
|
|
|
(uri->string uri))
|
|
|
|
|
|
|
|
|
|
(define (elide-path)
|
|
|
|
|
(let ((path (uri-path uri)))
|
2013-06-22 16:10:25 +02:00
|
|
|
|
(string-append (symbol->string (uri-scheme uri)) "://"
|
|
|
|
|
|
|
|
|
|
;; `file' URIs have no host part.
|
|
|
|
|
(or (uri-host uri) "")
|
|
|
|
|
|
2013-01-11 15:41:58 +01:00
|
|
|
|
(string-append "/.../" (basename path)))))
|
|
|
|
|
|
|
|
|
|
(if (> (string-length uri-as-string) max-length)
|
|
|
|
|
(let ((short (elide-path)))
|
|
|
|
|
(if (< (string-length short) (string-length uri-as-string))
|
|
|
|
|
short
|
|
|
|
|
uri-as-string))
|
|
|
|
|
uri-as-string))
|
|
|
|
|
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(define (ftp-fetch uri file)
|
|
|
|
|
"Fetch data from URI and write it to FILE. Return FILE on success."
|
|
|
|
|
(let* ((conn (ftp-open (uri-host uri)))
|
2013-01-06 18:24:53 +01:00
|
|
|
|
(size (false-if-exception (ftp-size conn (uri-path uri))))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(in (ftp-retr conn (basename (uri-path uri))
|
|
|
|
|
(dirname (uri-path uri)))))
|
|
|
|
|
(call-with-output-file file
|
|
|
|
|
(lambda (out)
|
2013-01-06 18:24:53 +01:00
|
|
|
|
(dump-port in out
|
|
|
|
|
#:buffer-size 65536 ; don't flood the log
|
2013-01-11 15:41:58 +01:00
|
|
|
|
#:progress (progress-proc (uri-abbreviation uri) size))))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
|
|
|
|
|
(ftp-close conn))
|
2013-01-06 18:24:53 +01:00
|
|
|
|
(newline)
|
2012-11-12 23:10:26 +01:00
|
|
|
|
file)
|
|
|
|
|
|
2013-01-20 22:28:38 +01:00
|
|
|
|
;; Autoload GnuTLS so that this module can be used even when GnuTLS is
|
|
|
|
|
;; not available. At compile time, this yields "possibly unbound
|
|
|
|
|
;; variable" warnings, but these are OK: we know that the variables will
|
|
|
|
|
;; be bound if we need them, because (guix download) adds GnuTLS as an
|
|
|
|
|
;; input in that case.
|
|
|
|
|
|
|
|
|
|
;; XXX: Use this hack instead of #:autoload to avoid compilation errors.
|
|
|
|
|
;; See <http://bugs.gnu.org/12202>.
|
|
|
|
|
(module-autoload! (current-module)
|
|
|
|
|
'(gnutls) '(make-session connection-end/client))
|
|
|
|
|
|
2013-05-10 01:14:25 +02:00
|
|
|
|
(define add-weak-reference
|
|
|
|
|
(let ((table (make-weak-key-hash-table)))
|
|
|
|
|
(lambda (from to)
|
|
|
|
|
"Hold a weak reference from FROM to TO."
|
|
|
|
|
(hashq-set! table from to))))
|
|
|
|
|
|
2014-09-22 21:06:39 +02:00
|
|
|
|
(define (tls-wrap port server)
|
|
|
|
|
"Return PORT wrapped in a TLS connection to SERVER. SERVER must be a DNS
|
|
|
|
|
host name without trailing dot."
|
2013-01-20 22:28:38 +01:00
|
|
|
|
(define (log level str)
|
|
|
|
|
(format (current-error-port)
|
|
|
|
|
"gnutls: [~a|~a] ~a" (getpid) level str))
|
|
|
|
|
|
|
|
|
|
(let ((session (make-session connection-end/client)))
|
2014-09-22 21:06:39 +02:00
|
|
|
|
|
|
|
|
|
;; Some servers such as 'cloud.github.com' require the client to support
|
|
|
|
|
;; the 'SERVER NAME' extension. However, 'set-session-server-name!' is
|
|
|
|
|
;; not available in older GnuTLS releases. See
|
|
|
|
|
;; <http://bugs.gnu.org/18526> for details.
|
|
|
|
|
(if (module-defined? (resolve-interface '(gnutls))
|
|
|
|
|
'set-session-server-name!)
|
|
|
|
|
(set-session-server-name! session server-name-type/dns server)
|
|
|
|
|
(format (current-error-port)
|
|
|
|
|
"warning: TLS 'SERVER NAME' extension not supported~%"))
|
|
|
|
|
|
2013-01-20 22:28:38 +01:00
|
|
|
|
(set-session-transport-fd! session (fileno port))
|
|
|
|
|
(set-session-default-priority! session)
|
|
|
|
|
(set-session-credentials! session (make-certificate-credentials))
|
|
|
|
|
|
|
|
|
|
;; Uncomment the following lines in case of debugging emergency.
|
|
|
|
|
;;(set-log-level! 10)
|
|
|
|
|
;;(set-log-procedure! log)
|
|
|
|
|
|
|
|
|
|
(handshake session)
|
2013-05-10 01:14:25 +02:00
|
|
|
|
(let ((record (session-record-port session)))
|
|
|
|
|
;; Since we use `fileno' above, the file descriptor behind PORT would be
|
|
|
|
|
;; closed when PORT is GC'd. If we used `port->fdes', it would instead
|
|
|
|
|
;; never be closed. So we use `fileno', but keep a weak reference to
|
|
|
|
|
;; PORT, so the file descriptor gets closed when RECORD is GC'd.
|
|
|
|
|
(add-weak-reference record port)
|
|
|
|
|
record)))
|
2013-01-20 22:28:38 +01:00
|
|
|
|
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(define (open-connection-for-uri uri)
|
|
|
|
|
"Return an open input/output port for a connection to URI.
|
|
|
|
|
|
|
|
|
|
This is the same as Guile's `open-socket-for-uri', except that we always
|
|
|
|
|
use a numeric port argument, to avoid the need to go through libc's NSS,
|
|
|
|
|
which is not available during bootstrap."
|
|
|
|
|
(define addresses
|
|
|
|
|
(let ((port (or (uri-port uri)
|
|
|
|
|
(case (uri-scheme uri)
|
|
|
|
|
((http) 80) ; /etc/services, not for me!
|
2013-01-20 22:28:38 +01:00
|
|
|
|
((https) 443)
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(else
|
|
|
|
|
(error "unsupported URI scheme" uri))))))
|
2012-12-17 00:14:30 +01:00
|
|
|
|
(delete-duplicates (getaddrinfo (uri-host uri)
|
|
|
|
|
(number->string port)
|
|
|
|
|
AI_NUMERICSERV)
|
|
|
|
|
(lambda (ai1 ai2)
|
|
|
|
|
(equal? (addrinfo:addr ai1)
|
|
|
|
|
(addrinfo:addr ai2))))))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
|
|
|
|
|
(let loop ((addresses addresses))
|
|
|
|
|
(let* ((ai (car addresses))
|
|
|
|
|
(s (with-fluids ((%default-port-encoding #f))
|
2012-12-17 00:14:30 +01:00
|
|
|
|
;; Restrict ourselves to TCP.
|
|
|
|
|
(socket (addrinfo:fam ai) SOCK_STREAM IPPROTO_IP))))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(catch 'system-error
|
|
|
|
|
(lambda ()
|
|
|
|
|
(connect s (addrinfo:addr ai))
|
|
|
|
|
|
|
|
|
|
;; Buffer input and output on this port.
|
|
|
|
|
(setvbuf s _IOFBF)
|
2013-01-20 22:28:38 +01:00
|
|
|
|
|
|
|
|
|
(if (eq? 'https (uri-scheme uri))
|
2014-09-22 21:06:39 +02:00
|
|
|
|
(tls-wrap s (uri-host uri))
|
2013-01-20 22:28:38 +01:00
|
|
|
|
s))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(lambda args
|
|
|
|
|
;; Connection failed, so try one of the other addresses.
|
|
|
|
|
(close s)
|
2012-12-17 00:14:30 +01:00
|
|
|
|
(if (null? (cdr addresses))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(apply throw args)
|
|
|
|
|
(loop (cdr addresses))))))))
|
|
|
|
|
|
|
|
|
|
;; XXX: This is an awful hack to make sure the (set-port-encoding! p
|
|
|
|
|
;; "ISO-8859-1") call in `read-response' passes, even during bootstrap
|
|
|
|
|
;; where iconv is not available.
|
|
|
|
|
(module-define! (resolve-module '(web response))
|
|
|
|
|
'set-port-encoding!
|
|
|
|
|
(lambda (p e) #f))
|
|
|
|
|
|
2012-12-14 18:07:10 +01:00
|
|
|
|
;; XXX: Work around <http://bugs.gnu.org/13095>, present in Guile
|
|
|
|
|
;; up to 2.0.7.
|
|
|
|
|
(module-define! (resolve-module '(web client))
|
|
|
|
|
'shutdown (const #f))
|
|
|
|
|
|
2015-02-19 01:33:10 +01:00
|
|
|
|
;; XXX: Work around <http://bugs.gnu.org/19840>, present in Guile
|
|
|
|
|
;; up to 2.0.11.
|
|
|
|
|
(unless (or (> (string->number (major-version)) 2)
|
|
|
|
|
(> (string->number (minor-version)) 0)
|
|
|
|
|
(> (string->number (micro-version)) 11))
|
2015-02-25 01:58:13 +01:00
|
|
|
|
(let ((var (module-variable (resolve-module '(web http))
|
|
|
|
|
'declare-relative-uri-header!)))
|
|
|
|
|
;; If 'declare-relative-uri-header!' doesn't exist, forget it.
|
|
|
|
|
(when (and var (variable-bound? var))
|
|
|
|
|
(let ((declare-relative-uri-header! (variable-ref var)))
|
|
|
|
|
(declare-relative-uri-header! "Location")))))
|
2015-02-19 01:33:10 +01:00
|
|
|
|
|
|
|
|
|
(define (resolve-uri-reference ref base)
|
|
|
|
|
"Resolve the URI reference REF, interpreted relative to the BASE URI, into a
|
|
|
|
|
target URI, according to the algorithm specified in RFC 3986 section 5.2.2.
|
|
|
|
|
Return the resulting target URI."
|
|
|
|
|
|
|
|
|
|
(define (merge-paths base-path rel-path)
|
|
|
|
|
(let* ((base-components (string-split base-path #\/))
|
|
|
|
|
(base-directory-components (match base-components
|
|
|
|
|
((components ... last) components)
|
|
|
|
|
(() '())))
|
|
|
|
|
(base-directory (string-join base-directory-components "/")))
|
|
|
|
|
(string-append base-directory "/" rel-path)))
|
|
|
|
|
|
|
|
|
|
(define (remove-dot-segments path)
|
|
|
|
|
(let loop ((in
|
|
|
|
|
;; Drop leading "." and ".." components from a relative path.
|
|
|
|
|
;; (absolute paths will start with a "" component)
|
|
|
|
|
(drop-while (match-lambda
|
|
|
|
|
((or "." "..") #t)
|
|
|
|
|
(_ #f))
|
|
|
|
|
(string-split path #\/)))
|
|
|
|
|
(out '()))
|
|
|
|
|
(match in
|
|
|
|
|
(("." . rest)
|
|
|
|
|
(loop rest out))
|
|
|
|
|
((".." . rest)
|
|
|
|
|
(match out
|
|
|
|
|
((or () (""))
|
|
|
|
|
(error "remove-dot-segments: too many '..' components" path))
|
|
|
|
|
(_
|
|
|
|
|
(loop rest (cdr out)))))
|
|
|
|
|
((component . rest)
|
|
|
|
|
(loop rest (cons component out)))
|
|
|
|
|
(()
|
|
|
|
|
(string-join (reverse out) "/")))))
|
|
|
|
|
|
|
|
|
|
(cond ((or (uri-scheme ref)
|
|
|
|
|
(uri-host ref))
|
|
|
|
|
(build-uri (or (uri-scheme ref)
|
|
|
|
|
(uri-scheme base))
|
|
|
|
|
#:userinfo (uri-userinfo ref)
|
|
|
|
|
#:host (uri-host ref)
|
|
|
|
|
#:port (uri-port ref)
|
|
|
|
|
#:path (remove-dot-segments (uri-path ref))
|
|
|
|
|
#:query (uri-query ref)
|
|
|
|
|
#:fragment (uri-fragment ref)))
|
|
|
|
|
((string-null? (uri-path ref))
|
|
|
|
|
(build-uri (uri-scheme base)
|
|
|
|
|
#:userinfo (uri-userinfo base)
|
|
|
|
|
#:host (uri-host base)
|
|
|
|
|
#:port (uri-port base)
|
|
|
|
|
#:path (remove-dot-segments (uri-path base))
|
|
|
|
|
#:query (or (uri-query ref)
|
|
|
|
|
(uri-query base))
|
|
|
|
|
#:fragment (uri-fragment ref)))
|
|
|
|
|
(else
|
|
|
|
|
(build-uri (uri-scheme base)
|
|
|
|
|
#:userinfo (uri-userinfo base)
|
|
|
|
|
#:host (uri-host base)
|
|
|
|
|
#:port (uri-port base)
|
|
|
|
|
#:path (remove-dot-segments
|
|
|
|
|
(if (string-prefix? "/" (uri-path ref))
|
|
|
|
|
(uri-path ref)
|
|
|
|
|
(merge-paths (uri-path base)
|
|
|
|
|
(uri-path ref))))
|
|
|
|
|
#:query (uri-query ref)
|
|
|
|
|
#:fragment (uri-fragment ref)))))
|
|
|
|
|
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(define (http-fetch uri file)
|
|
|
|
|
"Fetch data from URI and write it to FILE. Return FILE on success."
|
|
|
|
|
|
2013-02-20 22:59:35 +01:00
|
|
|
|
(define post-2.0.7?
|
2014-03-25 15:58:52 +01:00
|
|
|
|
(or (> (string->number (major-version)) 2)
|
|
|
|
|
(> (string->number (minor-version)) 0)
|
|
|
|
|
(> (string->number (micro-version)) 7)
|
2013-02-20 22:59:35 +01:00
|
|
|
|
(string>? (version) "2.0.7")))
|
|
|
|
|
|
2014-02-10 00:03:34 +01:00
|
|
|
|
(define headers
|
2014-10-19 12:07:26 +02:00
|
|
|
|
'(;; Some web sites, such as http://dist.schmorp.de, would block you if
|
|
|
|
|
;; there's no 'User-Agent' header, presumably on the assumption that
|
|
|
|
|
;; you're a spammer. So work around that.
|
|
|
|
|
(User-Agent . "GNU Guile")
|
|
|
|
|
|
|
|
|
|
;; Some servers, such as https://alioth.debian.org, return "406 Not
|
|
|
|
|
;; Acceptable" when not explicitly told that everything is accepted.
|
|
|
|
|
(Accept . "*/*")))
|
2014-02-10 00:03:34 +01:00
|
|
|
|
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(let*-values (((connection)
|
|
|
|
|
(open-connection-for-uri uri))
|
2013-01-06 18:36:50 +01:00
|
|
|
|
((resp bv-or-port)
|
2013-02-20 22:59:35 +01:00
|
|
|
|
;; XXX: `http-get*' was introduced in 2.0.7, and replaced by
|
|
|
|
|
;; #:streaming? in 2.0.8. We know we're using it within the
|
|
|
|
|
;; chroot, but `guix-download' might be using a different
|
|
|
|
|
;; version. So keep this compatibility hack for now.
|
|
|
|
|
(if post-2.0.7?
|
|
|
|
|
(http-get uri #:port connection #:decode-body? #f
|
2014-02-10 00:03:34 +01:00
|
|
|
|
#:streaming? #t
|
|
|
|
|
#:headers headers)
|
2013-02-20 22:59:35 +01:00
|
|
|
|
(if (module-defined? (resolve-interface '(web client))
|
|
|
|
|
'http-get*)
|
2014-02-10 00:03:34 +01:00
|
|
|
|
(http-get* uri #:port connection #:decode-body? #f
|
|
|
|
|
#:headers headers)
|
|
|
|
|
(http-get uri #:port connection #:decode-body? #f
|
|
|
|
|
#:extra-headers headers))))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
((code)
|
2013-01-06 18:36:50 +01:00
|
|
|
|
(response-code resp))
|
|
|
|
|
((size)
|
|
|
|
|
(response-content-length resp)))
|
2012-11-12 23:09:32 +01:00
|
|
|
|
(case code
|
|
|
|
|
((200) ; OK
|
|
|
|
|
(begin
|
|
|
|
|
(call-with-output-file file
|
|
|
|
|
(lambda (p)
|
2013-01-06 18:36:50 +01:00
|
|
|
|
(if (port? bv-or-port)
|
|
|
|
|
(begin
|
|
|
|
|
(dump-port bv-or-port p
|
2014-10-19 12:07:26 +02:00
|
|
|
|
#:buffer-size 65536 ; don't flood the log
|
2013-01-11 15:41:58 +01:00
|
|
|
|
#:progress (progress-proc (uri-abbreviation uri)
|
2013-01-06 18:36:50 +01:00
|
|
|
|
size))
|
|
|
|
|
(newline))
|
|
|
|
|
(put-bytevector p bv-or-port))))
|
2012-11-12 23:09:32 +01:00
|
|
|
|
file))
|
2013-01-25 21:36:26 +01:00
|
|
|
|
((301 ; moved permanently
|
|
|
|
|
302) ; found (redirection)
|
2015-02-19 01:33:10 +01:00
|
|
|
|
(let ((uri (resolve-uri-reference (response-location resp) uri)))
|
2012-11-12 23:09:32 +01:00
|
|
|
|
(format #t "following redirection to `~a'...~%"
|
|
|
|
|
(uri->string uri))
|
|
|
|
|
(close connection)
|
|
|
|
|
(http-fetch uri file)))
|
|
|
|
|
(else
|
|
|
|
|
(error "download failed" (uri->string uri)
|
|
|
|
|
code (response-reason-phrase resp))))))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(define-syntax-rule (false-if-exception* body ...)
|
|
|
|
|
"Like `false-if-exception', but print the exception on the error port."
|
|
|
|
|
(catch #t
|
|
|
|
|
(lambda ()
|
|
|
|
|
body ...)
|
|
|
|
|
(lambda (key . args)
|
|
|
|
|
#f)
|
|
|
|
|
(lambda (key . args)
|
|
|
|
|
(print-exception (current-error-port) #f key args))))
|
|
|
|
|
|
2014-12-29 20:51:12 +01:00
|
|
|
|
(define (uri-vicinity dir file)
|
|
|
|
|
"Concatenate DIR, slash, and FILE, keeping only one slash in between.
|
|
|
|
|
This is required by some HTTP servers."
|
|
|
|
|
(string-append (string-trim-right dir #\/) "/"
|
|
|
|
|
(string-trim file #\/)))
|
|
|
|
|
|
|
|
|
|
(define (maybe-expand-mirrors uri mirrors)
|
|
|
|
|
"If URI uses the 'mirror' scheme, expand it according to the MIRRORS alist.
|
|
|
|
|
Return a list of URIs."
|
|
|
|
|
(case (uri-scheme uri)
|
|
|
|
|
((mirror)
|
|
|
|
|
(let ((kind (string->symbol (uri-host uri)))
|
|
|
|
|
(path (uri-path uri)))
|
|
|
|
|
(match (assoc-ref mirrors kind)
|
|
|
|
|
((mirrors ..1)
|
|
|
|
|
(map (compose string->uri (cut uri-vicinity <> path))
|
|
|
|
|
mirrors))
|
|
|
|
|
(_
|
|
|
|
|
(error "unsupported URL mirror kind" kind uri)))))
|
|
|
|
|
(else
|
|
|
|
|
(list uri))))
|
|
|
|
|
|
2012-11-12 23:20:06 +01:00
|
|
|
|
(define* (url-fetch url file #:key (mirrors '()))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
"Fetch FILE from URL; URL may be either a single string, or a list of
|
|
|
|
|
string denoting alternate URLs for FILE. Return #f on failure, and FILE
|
|
|
|
|
on success."
|
|
|
|
|
(define uri
|
2014-12-29 20:51:12 +01:00
|
|
|
|
(append-map (cut maybe-expand-mirrors <> mirrors)
|
2012-11-12 23:20:06 +01:00
|
|
|
|
(match url
|
|
|
|
|
((_ ...) (map string->uri url))
|
|
|
|
|
(_ (list (string->uri url))))))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
|
|
|
|
|
(define (fetch uri file)
|
|
|
|
|
(format #t "starting download of `~a' from `~a'...~%"
|
|
|
|
|
file (uri->string uri))
|
|
|
|
|
(case (uri-scheme uri)
|
2013-01-20 22:28:38 +01:00
|
|
|
|
((http https)
|
|
|
|
|
(false-if-exception* (http-fetch uri file)))
|
|
|
|
|
((ftp)
|
|
|
|
|
(false-if-exception* (ftp-fetch uri file)))
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(else
|
|
|
|
|
(format #t "skipping URI with unsupported scheme: ~s~%"
|
|
|
|
|
uri)
|
|
|
|
|
#f)))
|
|
|
|
|
|
2014-04-16 12:25:25 +02:00
|
|
|
|
;; Make this unbuffered so 'progress-proc' works as expected. _IOLBF means
|
|
|
|
|
;; '\n', not '\r', so it's not appropriate here.
|
|
|
|
|
(setvbuf (current-output-port) _IONBF)
|
|
|
|
|
|
2012-11-12 23:10:26 +01:00
|
|
|
|
(setvbuf (current-error-port) _IOLBF)
|
|
|
|
|
|
|
|
|
|
(let try ((uri uri))
|
|
|
|
|
(match uri
|
|
|
|
|
((uri tail ...)
|
|
|
|
|
(or (fetch uri file)
|
|
|
|
|
(try tail)))
|
|
|
|
|
(()
|
|
|
|
|
(format (current-error-port) "failed to download ~s from ~s~%"
|
|
|
|
|
file url)
|
|
|
|
|
#f))))
|
|
|
|
|
|
|
|
|
|
;;; download.scm ends here
|