Ubuntu 12.10/12.04 есть хороший графический инструмент для  установки в систему глобального прокси-сервера. Но как видно на снимке нет способа, чтобы добавить исключение или ignore-hosts.



Чтобы преодолеть это ограничение, вы должны установить  dconf Editor из Центра приложений.

Или выполните команду в терминале:

sudo apt-get install dconf-tools

После установки Редактора dconf, открываем его и переходим: system -> proxy. Здесь вы можете добавить в строку autoconfig-url следующее: ignore-hosts, как показано на снимке.


Возможно придётся перезагрузить систему, чтобы изменения вступили в силу.


Удачи.