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
Resolving ftp.fu-berlin.de... 188.8.131.52
Connecting to ftp.fu-berlin.de|184.108.40.206|:21... failed: Unknown error.
[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