arcfi,
Ubuntu 12.10
GUI: Параметры системы —» Сеть —» Прокси-сервер —» Режим Автоматический | URL автоматической настройки —»
в терминале:
gsettings set org.gnome.system.proxy mode 'auto' && gsettings set org.gnome.system.proxy autoconfig-url './dir/proxy.pac'
Собственно, с URL файла беда. Хотел в инструкции привести команду настройки прокси, столкнулся с проблемой — имени пользователя я не знаю, который это будет воспроизводить. А без имени не выходит.