Настройки прокси-сервера ubuntu 15.10: прокси-сервер без прокси-коммутатора

На работе мне нужно использовать прокси для выхода в Интернет. Итак, я перехожу к настройкам System> Preferences> Proxy и исправляю прокси вручную.

Поскольку я также хотел, чтобы мой менеджер пакетов подключался к Интернету, я вошел в

/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

менеджер пакетов работает нормально. [!d4 ]

Но теперь, когда я вернулся домой, я отключил прокси, а mozilla подключился нормально, но диспетчер пакетов больше не может подключиться. Он по-прежнему пытается подключиться через прокси. У меня не было этой проблемы в ubuntu 14.04. Кто-нибудь есть идея, как это исправить? Другими словами, как сделать прямое подключение к Интернету снова?