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/build-system | |
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/build-system')
0 files changed, 0 insertions, 0 deletions