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 | |
| 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>
| -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 824762695c2..f983debcd22 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." | |||
| 660 | (define gnu-hosted? | 660 | (define gnu-hosted? |
| 661 | (url-prefix-predicate "mirror://gnu/")) | 661 | (url-prefix-predicate "mirror://gnu/")) |
| 662 | 662 | ||
| 663 | (define (url-prefix-rewrite old new) | ||
| 664 | "Return a one-argument procedure that rewrites URL prefix OLD to NEW." | ||
| 665 | (lambda (url) | ||
| 666 | (if (and url (string-prefix? old url)) | ||
| 667 | (string-append new (string-drop url (string-length old))) | ||
| 668 | url))) | ||
| 669 | |||
| 670 | (define (uri-mirror-rewrite uri) | 663 | (define (uri-mirror-rewrite uri) |
| 671 | "Rewrite URI to a mirror:// URI if possible, or return URI unmodified." | 664 | "Rewrite URI to a mirror:// URI if possible, or return URI unmodified." |
| 672 | (if (string-prefix? "mirror://" uri) | 665 | (if (string-prefix? "mirror://" uri) |
| @@ -684,15 +677,6 @@ GNOME packages; EMMS is included though, because its releases are on gnu.org." | |||
| 684 | mirror-id | 677 | mirror-id |
| 685 | (string-drop uri (string-length prefix)))))))))) | 678 | (string-drop uri (string-length prefix)))))))))) |
| 686 | 679 | ||
| 687 | (define (adjusted-upstream-source source rewrite-url) | ||
| 688 | "Rewrite URLs in SOURCE by apply REWRITE-URL to each of them." | ||
| 689 | (upstream-source | ||
| 690 | (inherit source) | ||
| 691 | (urls (map rewrite-url (upstream-source-urls source))) | ||
| 692 | (signature-urls (and=> (upstream-source-signature-urls source) | ||
| 693 | (lambda (urls) | ||
| 694 | (map rewrite-url urls)))))) | ||
| 695 | |||
| 696 | (define %savannah-base | 680 | (define %savannah-base |
| 697 | ;; One of the Savannah mirrors listed at | 681 | ;; One of the Savannah mirrors listed at |
| 698 | ;; <http://download0.savannah.gnu.org/mirmon/savannah/> that serves valid | 682 | ;; <http://download0.savannah.gnu.org/mirmon/savannah/> that serves valid |
