когда я пытаюсь использовать 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
?