diff options
| author | Ludovic Courtès <ludo@gnu.org> | 2017-09-03 23:31:09 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2017-09-03 23:36:17 +0200 |
| commit | 100b216d8a4218daec4a79024d62d54b52dc07be (patch) | |
| tree | 35f4915c5342dc44e46bb881fafc2f3df95b758b /.dir-locals.el | |
| parent | e3c83a7cd3618a87d74e58973dcd82e560e2da97 (diff) | |
| download | patches-100b216d8a4218daec4a79024d62d54b52dc07be.tar patches-100b216d8a4218daec4a79024d62d54b52dc07be.tar.gz | |
gnu-maintenance: GNU updater no longer relies on FTP access.
Partly fixes <https://bugs.gnu.org/28159>.
Suggested by Hartmut Goebel <h.goebel@crazy-compilers.com>.
* guix/gnu-maintenance.scm (%gnu-file-list-uri): New variable.
(ftp.gnu.org-files, latest-gnu-release): New procedures.
(%gnu-updater)[pred]: Change to GNU-HOSTED?.
[latest]: Change to LATEST-GNU-RELEASE.
(%gnu-ftp-updater): New variable.
Diffstat (limited to '.dir-locals.el')
0 files changed, 0 insertions, 0 deletions