Настройка прокси-сервера для apt с терминала

Возможный дубликат:
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, но это тоже не сработало. Насколько я помню, 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)

sudo -E apt-get WHATEVER работает в моем случае (учитывая, что http_proxy уже “экспортирован” как переменная среды).

Просто общий совет - при выполнении этих обновлений вам может потребоваться выйти из системы и снова войти в систему, прежде чем они начнут работать. Это то, что я должен был сделать.

вы можете добавить прокси-сервер в /etc/apt/apt.conf

@piyush Позволит ли это не только apt-get получить доступ к Интернету, хотя …? Если он хочет иметь доступ к Интернету с помощью чего-либо еще, ему нужно ввести это в /etc /bash.bashrc

правда, я предложил посмотреть, как он попытается выполнить "sudo apt-get update`