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


Часто возникает необходимость выполнить в терминале команду, которая требует подключения к интернету. Это могут быть команды вроде wget, и т.п. Обычно доступ к интернету из терминала не вызывает проблем. Однако если у вас доступ организован через прокси-сервер, то для выполнения подобных команд надо определить переменную окружения http_proxy.
Делается это так:
http_proxy="http://Username:Password@Server:Port/"
Здесь:

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

Например, запуск уже упомянутой команды wget с определенным в переменной окружения прокси-сервером будет выглядеть так:
http_proxy="http://Username:Userpwd@server:ServerPort/" wget http://......

Обсудить на форуме (комментариев 0).