diff options
| author | Maxime Devos <maximedevos@telenet.be> | 2022-09-01 11:01:55 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2022-09-26 23:29:37 +0200 |
| commit | 55d4200002940506607472d326deb130edecf90e (patch) | |
| tree | 2c2e78db2db2b558abfc22a7b2e50f02b5bc3ec0 /guix/gnu-maintenance.scm | |
| parent | d9b8169a9f3cd5bcafcd2f85af7c7c876272c540 (diff) | |
gnu-maintenance: Remove unused procedures.
* guix/gnu-maintenance.scm (url-prefix-rewrite, adjusted-upstream-source):
Remove.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'guix/gnu-maintenance.scm')
| -rw-r--r-- | guix/gnu-maintenance.scm | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/guix/gnu-maintenance.scm b/guix/gnu-maintenance.scm index 824762695c..f983debcd2 100644 --- a/guix/gnu-maintenance.scm +++ b/guix/gnu-maintenance.scm @@ -660,13 +660,6 @@ GNOME packages; EMMS is included though, because its releases are on gnu.org." (define gnu-hosted? (url-prefix-predicate "mirror://gnu/")) -(define (url-prefix-rewrite old new) - "Return a one-argument procedure that rewrites URL prefix OLD to NEW." - (lambda (url) - (if (and url (string-prefix? old url)) - (string-append new (string-drop url (string-length old))) - url))) - (define (uri-mirror-rewrite uri) "Rewrite URI to a mirror:// URI if possible, or return URI unmodified." (if (string-prefix? "mirror://" uri) @@ -684,15 +677,6 @@ GNOME packages; EMMS is included though, because its releases are on gnu.org." mirror-id (string-drop uri (string-length prefix)))))))))) -(define (adjusted-upstream-source source rewrite-url) - "Rewrite URLs in SOURCE by apply REWRITE-URL to each of them." - (upstream-source - (inherit source) - (urls (map rewrite-url (upstream-source-urls source))) - (signature-urls (and=> (upstream-source-signature-urls source) - (lambda (urls) - (map rewrite-url urls)))))) - (define %savannah-base ;; One of the Savannah mirrors listed at ;; <http://download0.savannah.gnu.org/mirmon/savannah/> that serves valid |