Я использую диспетчер пакетов Synaptic в ubuntu 14.04. Как настроить прокси-сервер в диспетчере пакетов Synaptic?