Вся информация, которую я нашел в Интернете, связана с менеджером сети с графическим интерфейсом. Как установить это значение через терминал?
Файл PAC должен быть интерпретирован с JavaScript. Большинство (если не все) программы, которые используют http_proxy переменную среды, не сможет интерпретировать этот файл для создания пользователя из него.
Единственный подход, который кажется подходящим, состоит в том, если Вы находите или делаете программу, которая будет интерпретировать JavaScript, найденный в файле PAC, и использовать возвращаемый значения для установки http_proxy. Однако идея состоит больше в том, что это сделано динамично для каждого URL, таким образом, этот подход не будет работать приятно.
Если все, что Вы хотите, должно установить значение, которое используется в гноме из командной строки, то можно сделать это:
gsettings set org.gnome.system.proxy mode auto
gsettings set org.gnome.system.proxy autoconfig-url 'http://my.prox.org/foo.pac'
Сбрасывать:
gsettings set org.gnome.system.proxy autoconfig-url ''
gsettings set org.gnome.system.proxy mode none
Можно найти дополнительную информацию здесь: https://wiki.gnome.org/Projects/NetworkManager/Proxies