diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2015-12-07 22:45:52 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2015-12-07 23:32:01 +0100 |
| commit | e3cc793e7c5a71189564f11ce825735b008871b6 (patch) | |
| tree | 341273e1983ce23b175d97dbc860fb4139b7b830 /guix/gnu-maintenance.scm | |
| parent | 202440e07a9dd40dc4b9814a91c67e24554d53c1 (diff) | |
gnu-maintenance: Do not look for releases in "w32" sub-directories.
* guix/gnu-maintenance.scm (latest-release): Filter out "w32"
directories.
Diffstat (limited to 'guix/gnu-maintenance.scm')
| -rw-r--r-- | guix/gnu-maintenance.scm | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/guix/gnu-maintenance.scm b/guix/gnu-maintenance.scm index b3240f82a4..ab9577f4fe 100644 --- a/guix/gnu-maintenance.scm +++ b/guix/gnu-maintenance.scm @@ -354,11 +354,14 @@ open (resp. close) FTP connections; this can be useful to reuse connections." (let* ((entries (ftp-list conn directory)) ;; Filter out sub-directories that do not contain digits---e.g., - ;; /gnuzilla/lang and /gnupg/patches. + ;; /gnuzilla/lang and /gnupg/patches. Filter out "w32" + ;; directories as found on ftp.gnutls.org. (subdirs (filter-map (match-lambda (((? patch-directory-name? dir) 'directory . _) #f) + (("w32" 'directory . _) + #f) (((? contains-digit? dir) 'directory . _) dir) (_ #f)) |