diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2018-11-10 16:20:25 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2018-11-10 23:33:46 +0100 |
| commit | 5230dce154a8861d806fcd667f2d424def571ed6 (patch) | |
| tree | 02385479e7f0611b4b3509239c25e5090fa90220 /guix/ci.scm | |
| parent | bc1ff4aabafc8e1dbc8196d0eaef911806c74099 (diff) | |
| download | guix-patches-5230dce154a8861d806fcd667f2d424def571ed6.tar guix-patches-5230dce154a8861d806fcd667f2d424def571ed6.tar.gz | |
gnu-maintenance: Base kernel.org updater on HTML directory listings.
Partially fixes <https://bugs.gnu.org/28159>.
The FTP server at ftp.free.fr had become unable to produce directory
listings, effectively making the updater dysfunctional. Furthermore FTP
is considered obsolescent so HTTP + HTML looks more future-proof.
* guix/gnu-maintenance.scm (html->sxml, html-links)
(latest-html-release): New procedures.
(latest-kernel.org-release): Rewrite in terms of 'latest-html-release'.
Diffstat (limited to 'guix/ci.scm')
0 files changed, 0 insertions, 0 deletions