Moderator: igrr
"wget -c http://arduino.esp8266.com/linux64-xten ... fb9.tar.gz" does not work too.
Windows version of compiler does not downloadable too.
Board manager of Arduino IDE can't update boards list with both links:
http://arduino.esp8266.com/stable/packa ... index.json
http://arduino.esp8266.com/staging/pack ... index.json
But we have connection with server arduino.esp8266.com:
ping arduino.esp8266.com
PING arduino.esp8266.com (104.131.82.128) 56(84) bytes of data.
64 bytes from download.igrr.me (104.131.82.128): icmp_req=1 ttl=44 time=170 ms
64 bytes from download.igrr.me (104.131.82.128): icmp_req=2 ttl=44 time=193 ms
64 bytes from download.igrr.me (104.131.82.128): icmp_req=3 ttl=44 time=167 ms
64 bytes from download.igrr.me (104.131.82.128): icmp_req=4 ttl=44 time=167 ms
^C
--- arduino.esp8266.com ping statistics ---
4 packets transmitted, 4 received, 0% packet loss, time 3003ms
rtt min/avg/max/mdev = 167.499/174.850/193.329/10.762 ms
Help please.
Maybe you have some firewall issues, or some other issues with your ISP.
glynnsimon wrote:Thanks. That worked.
Problem is back, I could not update the boards on my Windows arduino IDE. So tried on my linux with git, and running after get.py, but the same.
Look with wget
# wget http://arduino.esp8266.com/linux64-xten ... fb9.tar.gz
--2017-05-04 16:29:26-- http://arduino.esp8266.com/linux64-xten ... fb9.tar.gz
Resolving arduino.esp8266.com (arduino.esp8266.com)... failed: Name or service not known.
wget: unable to resolve host address ‘arduino.esp8266.com’
And looks getting worst as the host is not recognized.
(from France - Orange ISP)