Когда я пытаюсь использовать wget
в Windows 7, происходит сбой с таким сообщением:
> 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.
[Да, я пытаюсь установить TeX Live.]
Это происходит как для FTP, так и для HTTP соединений.
Я подозревал, что проблема с прокси, потому что я считаю, что в этой сети нужен прокси. В веб-браузере я могу получить доступ к URL-адресам, где не удалось wget
. Браузер настроен на "использование системного прокси", но я не знаю, где найти эти настройки, чтобы я мог передать их в wget
. Я старался
> netsh winhttp show proxy
но это говорит
Current WinHTTP proxy settings:
Direct access (no proxy server).
Значит ли это, что прокси на самом деле нет?
Если так, что еще это могло быть? Может ли брандмауэр, который пропускает через Firefox, Chrome и IE, блокировать wget
?