Am 03.01.20 um 21:25 schrieb Paul Smith:
On Fri, 2020-01-03 at 20:42 +0100, Christof Warlich wrote:
By the way, I stumbled into a minor issue entirely unrelated to the
feature above that you may want to fix: The gnulib git repository
referenced in bootstrap seems to have changed its location, so you may
want it to change it accordingly:
Hm. Does the original not work? The version I have is the same one that
is currently being distributed with the gnulib library; see:
http://git.savannah.gnu.org/cgit/gnulib.git/tree/build-aux/bootstrap
sv.gnu.org is a valid alias for savannah.gnu.org so unless the problem is
with the git protocol vs. https, it should work fine.
I would prefer to see this change made in gnulib's upstream copy if it is a
correct change, rather than in my copy.
The original doesen't work from my system (Debian Buster) at least:
$ ./bootstrap
./bootstrap: Bootstrapping from checked-out make sources...
./bootstrap: getting gnulib files...
Cloning into 'gnulib'...
fatal: unable to connect to git.sv.gnu.org:
git.sv.gnu.org[0: 209.51.188.201]: errno=Connection refused
git.sv.gnu.org[1: 2001:470:142:5::201]: errno=Cannot assign
requested address
Although the host is obviously alife:
$ ping -c1 git.sv.gnu.org
PING git.sv.gnu.org (209.51.188.201) 56(84) bytes of data.
64 bytes from vcs0.savannah.gnu.org (209.51.188.201): icmp_seq=1
ttl=54 time=103 ms
--- git.sv.gnu.org ping statistics ---
1 packets transmitted, 1 received, 0% packet loss, time 0ms
rtt min/avg/max/mdev = 102.902/102.902/102.902/0.000 ms
