Установка прокси-сервера из терминала

Возможный дубликат:
apt-get не работает с прокси-сервером

Я попытался изменить настройки прокси-сервера в терминале следующим образом:

export HTTP_PROXY=http://10.1.3.1:8080 

а также

 export http_proxy=http://10.1.3.1:8080 

но когда я пытаюсь установить новый пакет или обновить apt-get, apt-get начнет отображать сообщения, из которых, похоже, он пытается подключиться к ранее установленному прокси:

 sudo apt-get update 0% [Connecting to 10.1.2.2 (10.1.2.2)] [Connecting to 10.1.2.2 (10.1.2.2) 

Я попытался установить прокси-сервер через файл bashrc, но этот din работает. Насколько я помню, 10.1.2.2 был установлен с использованием графического интерфейса GNOME, но у меня нет доступа к графическому интерфейсу прямо сейчас, поэтому я пытаюсь установить его из терминала.

Хорошо, просто решил. Добавление следующей строки в /etc/apt/apt.conf решило проблему: Acquire::http::proxy "http://10.1.3.1:8080/";

Если файл не существует, создайте его. Не путайте его с помощью каталога apt.conf.d.

Файл:

 /etc/environment 

Является правильным местом для указания общесистемных переменных среды, которые должны быть доступны для всех процессов. Подробнее см. https://help.ubuntu.com/community/EnvironmentVariables . Обратите внимание, что это не файл сценария, а файл конфигурации.

Если вы хотите это только для указанной команды, используйте (как root):

 http_proxy=http://10.1.3.1:8080 apt-get update 

Редактируйте свой:

 gedit /etc/profile 

Введите данные в этом формате.

 export http_proxy=http://username:password@proxyhost:port/ export ftp_proxy=http://username:password@proxyhost:port/ 

Затем запустите

 sudo apt-get update 

Это должно сделать это для вас.

Как указано выше, вы можете ввести прокси-сервер в apt.conf (Piyush Credit)