Как задать прокси-сервер в терминале?
Часто возникает необходимость выполнить в терминале команду, которая требует подключения к интернету. Это могут быть команды вроде 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://......