私がオンラインで見つけたすべての情報は、guiネットワークマネージャーと取引しています。ターミナル経由でこの値を設定するにはどうすればよいですか?
PACファイルはjavascriptで解釈する必要があります。 http_proxy環境変数を使用する大部分(すべてではないにしても)のプログラムは、ユーザーを作成するためにこのファイルを解釈できません。
適切と思われる唯一のアプローチは、PACファイルで見つかったjavascriptを解釈し、返された値を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