Hi Mark and Ludo,
I wrote a small patch that switches to the official mirror.
On 2017-11-16 23:22, Mark H Weaver wrote:
ludo@gnu.org (Ludovic Courtès) writes:
civodul pushed a commit to branch master
in repository guix.
commit afc438231623fceb4ec8f3aa2f8c4e8f99a3ec22
Author: Rutger Helling <rhelling@mykolab.com>
Date: Tue Nov 14 19:01:08 2017 +0100
gnu: wget: Add wget2.
* gnu/packages/wget.scm (wget2): New variable.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
[...]
+ (home-page "https://github.com/rockdaboot/wget2")
+ (synopsis "Successor of GNU Wget")
+ (description "GNU Wget2 is the successor of GNU Wget, a file and recursive
+website downloader. Designed and written from scratch it wraps around libwget,
+that provides the basic functions needed by a web client.")
+ (license (list gpl3+ lgpl3+))))
I was curious about this claim "Successor of GNU Wget", so I looked at
the canonical GNU Wget site:
https://gnu.org/s/wget
which states:
Currently GNU Wget2 is being developed. Please help us if you can
with testing, docs, organization, development, ... see you at Wget2
collaboration site <https://gitlab.com/gnuwget/wget2>
For the source and home-page URLs, I would prefer to promote the gitlab
site over the github one, especially since that's the one referenced
from <https://gnu.org/s/wget>.
What do you think?
Mark