1

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?

xebtl
  • 65

1 Answers1

1

Since nobody has done that yet, let me answer your question(s).

Does this mean that there really is no proxy?

No. Internet Explorer proxy settings are those that are most commonly configured to allow Internet browsing, and those used by Google Chrome and Firefox if you choose to "use system proxy settings". They are found in Internet Explorer -> Tools -> Options -> Connections -> LAN settings. They are not the same as WinHTTP proxy settings. You may want to configure WinHTTP to copy your Internet Explorer settings with netsh winhttp import proxy source =ie as described in this answer.

If so, what else could it be?

Anything, really. This is too broad a question and, besides, what you probably mean is: "What is causing this behaviour in my particular case?" (troubleshooting question not particularly suited for this site because it targets a specific situation that might not be of interest to a larger audience).

Could a firewall that lets through Firefox, Chrome, and IE block wget?

Yes. See e.g. how to configure the Windows Firewall to achieve a similar goal.

simlev
  • 3,912