Как определить прокси-сервер в терминале?
Рецепт был опубликован 30 марта 2010 года в 18:45, а менялся 30 марта 2010 года в 23:51.
Постоянная ссылка: http://www.nixp.ru/recipes/14.html
Часто возникает необходимость выполнить в терминале команду, которая требует подключения к интернету. Это могут быть команды вроде 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
- Из той же серии:
- Как работать с кассетами из консоли?
- Как работать с кассетными библиотеками из консоли?
- Как заставить GNU Make исполнить файл многократно с разными аргументами
Комментировать!
Последние комментарии
- OlegL, 17 декабря в 15:00 → Перекличка 21
- REDkiy, 8 июня 2023 года в 9:09 → Как «замокать» файл для юниттеста в Python? 2
- fhunter, 29 ноября 2022 года в 2:09 → Проблема с NO_PUBKEY: как получить GPG-ключ и добавить его в базу apt? 6
- Иванн, 9 апреля 2022 года в 8:31 → Ассоциация РАСПО провела первое учредительное собрание 1
- Kiri11.ADV1, 7 марта 2021 года в 12:01 → Логи catalina.out в TomCat 9 в формате JSON 1
ecobeing.ru
Экология и вегетарианство на благо всем живым существам Планеты.