На работе мне нужно использовать прокси для выхода в интернет. Поэтому я иду в Система>Настройки>Настройки прокси и вручную настраиваю прокси.
Поскольку я также хотел, чтобы мой менеджер пакетов подключался к Интернету, я вошел в
/etc/apt/apt.conf.d
и создал 95proxiesфайл, содержащий следующие строки:
Acquire::http::Proxy "http://13.1.1.3:3128";
Acquire::https::Proxy "https://13.1.1.3:3128";
Acquire::socks::Proxy "socks://13.1.1.3:3128";
Acquire::ftp::Proxy "ftp://13.1.1.3:3128";
(цифры просто случайны) после
sudo apt-get update
менеджер пакетов работает отлично.
Но теперь, когда я вернулся домой, я отключил прокси, и Mozilla подключается нормально, но менеджер пакетов больше не может подключиться. Он все еще пытается подключиться через прокси. У меня не было этой проблемы в Ubuntu 14.04. Есть ли у кого-нибудь идеи, как это исправить? Другими словами, как заставить прямое подключение к Интернету работать снова?
решение1
Я тоже сталкиваюсь с похожей проблемой. Обычно я просто комментирую содержимое этого файла (т.е. 95proxies), и все в порядке. Другими словами, я постоянно комментирую и раскомментирую этот файл в зависимости от того, где я нахожусь. Интересно, есть ли более элегантное решение, возможно.