Вся информация, которую я нашел в сети, касается графического менеджера сети. Как мне установить это значение через терминал?
решение1
Файл PAC должен быть интерпретирован с помощью javascript. Большинство (если не все) программ, которые используют переменную окружения http_proxy, не смогут интерпретировать этот файл, чтобы сделать его пользователем.
Единственный подход, который кажется подходящим, — это если вы найдете или создадите программу, которая будет интерпретировать javascript, найденный в PAC-файле, и использовать возвращаемые значения для настройки http_proxy. Однако идея заключается в том, что это делается динамически для каждого URL, поэтому этот подход не будет работать должным образом.
Если все, что вам нужно, это задать значение, используемое в gnome из командной строки, то вы можете сделать это:
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