Sunil Mohan Adapa d3f386733f
diagnostics: Use curl instead of wget for URLs
wget does not seem to support interface scoping for IPv6 addresses.  For
example, http_proxy=http://[fe80::babe:ff:ffff:babe%eth0]:8118/ . Curl
supports this.

This fixes most of the failures for IPv6 related addresses.  Hide the
last failure as there does not seem to be a proper fix from OS level:
when using link local addresses, if a hostname is resolved to IPv6 link
local address, it is not scoped to that interface.  It can't properly be
used by any tool then.
2016-06-03 16:22:02 -04:00
..
2016-05-14 15:49:12 +02:00
2016-05-14 11:43:06 -04:00
2016-05-29 21:07:07 +05:30
2016-05-29 21:07:07 +05:30
2016-05-11 18:19:42 -04:00
2016-05-08 10:46:57 +05:30
2015-11-25 15:22:27 +01:00
2016-05-11 18:19:42 -04:00