When I try to use wget on Windows 7, it fails with a message like this:
> wget ftp://ftp.fu-berlin.de/tex/CTAN/systems/texlive/tlnet/tlpkg/texlive.tlpd
--2017-07-10 14:37:47-- ftp://ftp.fu-berlin.de/tex/CTAN/systems/texlive/tlnet/tlpkg/texlive.tlpd
=> 'texlive.tlpd'
Resolving ftp.fu-berlin.de... 130.133.3.130
Connecting to ftp.fu-berlin.de|130.133.3.130|:21... failed: Unknown error.
Retrying.
[Yes, I am trying to install TeX live.]
This happens both for FTP and HTTP connections.
I suspected a proxy issue because I believe that on this network, a proxy is necessary. In a web browser I can access the URLs where wget failed. The browser is set to "use system proxy", but I do not really know where to find those settings so that I could pass them to wget. I tried
> netsh winhttp show proxy
but it says
Current WinHTTP proxy settings:
Direct access (no proxy server).
Does this mean that there really is no proxy?
If so, what else could it be? Could a firewall that lets through Firefox, Chrome, and IE block wget?
wgetand don't just download the files with your browser? System proxy settings are found in Internet Explorer -> Tools -> Options -> Connections -> LAN settings. Can you reach any address from the command line (tryping <famous_search_engine.com>andtelnet <famous_search_engine.com> 443. Yes, a firewall software running on your pc (such as Windows Firewall or the antivirus) could only allow certain executables to get through; this is not common though. – simlev Jul 14 '17 at 08:54wget? Because that is texlive's installation procedure. Other options are not very desirable. Plus, I want to understand ... How would a firewall discriminate between a request fromwgetand one from IE?
– xebtl Jul 18 '17 at 13:33pingtimes out.telnetis not installed.pingnot working likely means that your pc does not have direct Internet access and requires a proxy. No need to trytelnetthen, but from your answer I understand that you don't have admin privileges on this machine, otherwise you would have installed it. – simlev Jul 18 '17 at 14:22.iso, use WinCDEmu to mount it, and install from the resulting drive. – xebtl Jul 19 '17 at 14:59