Как определить прокси-сервер в терминале? 0

Часто возникает необходимость выполнить в терминале команду, которая требует подключения к интернету. Это могут быть команды вроде wget, gpg --keyserver или, скажем, запуск скрипта winetricks. Обычно доступ к интернету из терминала не вызывает проблем. Однако если у вас доступ организован через прокси-сервер, то для выполнения подобных команд надо определить переменную окружения http_proxy.

Делается это так:

http_proxy="http://Username:Password@Server:Port/"

Здесь:

• Username — имя пользователя;
• Password — пароль;
• Server — IP-адрес proxy-сервера;
• Port — номер порта proxy-сервера.

Например, запуск уже упомянутой команды winetricks с определенным в переменной окружения прокси-сервером будет выглядеть так:

http_proxy="http://Username:Userpwd@server:ServerPort/" sh winetricks