私は Ubuntu 18.04 を使用しています。すべてのユーザー用にプロキシ サーバーを設定したいと考えています。私の環境は次のとおりです。
$ cat /etc/environment
> http_proxy="http://proxy.foo.com:8080"
> https_proxy="http://proxy.foo.com:8080"
> no_proxy="localhost, 127.0.0.1, *.foo.com"
今、例えば Firefox を開いても、どの Web サイトにもアクセスできません。ネットワーク設定に移動すると、「ネットワーク プロキシ」が「オフ」のまま表示されます。これを「手動」に設定し、上記のプロキシ設定を入力すると、Firefox でインターネットに接続できます。
コマンドラインからネットワーク設定でプロキシを設定するにはどうすればよいですか?
答え1
数年前にプロキシを使用したとき、ターミナルで次のコマンドを使用しました:
set http_proxy=http://proxy.foo.com:8080
set https_proxy=http://proxy.foo.com:8080
export http_proxy=http://proxy.foo.com:8080
export https_proxy=http://proxy.foo.com:8080
また、この構成は「env | grep proxy」を実行して確認できます。少なくともコマンドラインではうまくいきました。