install.sh fails to download openocd-esp32-linux64-0.10.0-esp32-20190313.tar.gz

[axellin]

I'm using v4.0-beta1.

$ ./install.sh
Installing ESP-IDF tools
Installing tools: xtensa-esp32-elf, esp32ulp-elf, openocd-esp32
Skipping xtensa-esp32-elf@esp32-2019r1-8.2.0 (already installed)
Skipping esp32ulp-elf@2.28.51.20170517 (already installed)
Installing openocd-esp32@v0.10.0-esp32-20190313
Downloading openocd-esp32-linux64-0.10.0-esp32-20190313.tar.gz to /home/axel/.espressif/dist/openocd-esp32-linux64-0.10.0-esp32-20190313.tar.gz.tmp
Traceback (most recent call last):
File "/home/axel/esp/esp-idf/tools/idf_tools.py", line 1317, in <module>
main(sys.argv[1:])
File "/home/axel/esp/esp-idf/tools/idf_tools.py", line 1313, in main
action_func(args)
File "/home/axel/esp/esp-idf/tools/idf_tools.py", line 1107, in action_install
tool_obj.download(tool_version)
File "/home/axel/esp/esp-idf/tools/idf_tools.py", line 541, in download
urlretrieve(url, local_temp_path, report_progress if not global_non_interactive else None)
File "/usr/lib/python2.7/urllib.py", line 98, in urlretrieve
return opener.retrieve(url, filename, reporthook, data)
File "/usr/lib/python2.7/urllib.py", line 248, in retrieve
fp = self.open(url, data)
File "/usr/lib/python2.7/urllib.py", line 216, in open
return getattr(self, name)(url)
File "/usr/lib/python2.7/urllib.py", line 460, in open_https
return self.http_error(url, fp, errcode, errmsg, headers)
File "/usr/lib/python2.7/urllib.py", line 380, in http_error
result = method(url, fp, errcode, errmsg, headers)
File "/usr/lib/python2.7/urllib.py", line 645, in http_error_302
headers, data)
File "/usr/lib/python2.7/urllib.py", line 672, in redirect_internal
return self.open(newurl)
File "/usr/lib/python2.7/urllib.py", line 216, in open
return getattr(self, name)(url)
File "/usr/lib/python2.7/urllib.py", line 446, in open_https
h.endheaders(data)
File "/usr/lib/python2.7/httplib.py", line 1054, in endheaders
self._send_output(message_body)
File "/usr/lib/python2.7/httplib.py", line 892, in _send_output
self.send(msg)
File "/usr/lib/python2.7/httplib.py", line 854, in send
self.connect()
File "/usr/lib/python2.7/httplib.py", line 1271, in connect
HTTPConnection.connect(self)
File "/usr/lib/python2.7/httplib.py", line 831, in connect
self.timeout, self.source_address)
File "/usr/lib/python2.7/socket.py", line 557, in create_connection
for res in getaddrinfo(host, port, 0, SOCK_STREAM):
IOError: [Errno socket error] [Errno -2] Name or service not known

[axellin]

The download is working now.