Прежде всего убедитесь, что вы нажимаете на "Применить общесистемный..." всякий раз, когда вы меняете настройки прокси-сервера в gnome-network-properties (System -> Preferences -> Network Proxy). Это устанавливает http_proxy и связанные с ним переменные среды. Это должно быть доступно для всех программ, запущенных после настройки прокси-сервера "Применяется в масштабах всей системы ...". Чтобы быть действительно уверенным, вы можете выйти из системы и выполнить повторный вход, чтобы перепроверить это.
Если вы откроете терминал и используете команду set | grep -i proxy вы увидите, что установлены соответствующие переменные среды. В идеале этого должно быть достаточно.
Однако я сталкивался с ситуациями, когда все вышеперечисленное по-прежнему не работает: синаптический или apt-get (через командную строку) не удается подключиться к Интернету через прокси-сервер даже после того, как он настроен вышеуказанным способом. В таких случаях одним из решений является добавление файла в /etc/apt/apt.conf.d с определенной конфигурацией прокси-сервера для apt (это будет использоваться apt-get, aptitude, synaptic и Ubuntu software center).
Выполните следующие действия:
-
Создать /etc/apt/apt.conf.d/40proxy
gksudo gedit /etc/apt/apt.conf.d/40proxy -
Поместите в него следующее содержимое - измените содержимое в соответствии с вашей ситуацией.
Acquire::http::Proxy "http://proxy.site.com:8080";
Если у вас есть имя пользователя и пароль, вы можете закодировать то же самое в URL-адресе прокси-сервера (например, так, http://username:password@proxy.site.com:8080) или вы можете использовать что-то вроде ntlmaps для лучшего контроля.
Более подробную информацию можно найти здесь.