私はLinux Ubuntuユーザーですが、システム全体でプロキシを設定する際に問題が発生します。
Gnomeのネットワーク設定に移動し、次にNetwork Proxy設定マスクに移動して、HTTP Proxy* as Manual、次にシステム全体に適用ボタンをクリックすると、パスワードが要求され、完了です
問題は、シェルを開いた場合、ネットワークが機能せず、pingを実行できないことです。
andrea@andrea-Studio-1555:~$ ping google.com
PING google.com (173.194.35.7) 56(84) bytes of data.
カーソルはまだ点滅し続けません...
どうして?シェルでプロキシを使用するにはどうすればよいですか?
Http_proxyシェル変数を設定する
次のコマンドを入力して、プロキシサーバーを設定します。
$ export http_proxy=http://server-ip:port/
$ export http_proxy=http://127.0.0.1:3128/
$ export http_proxy=http://proxy-server.mycorp.com:3128/
すべてのユーザーのプロキシ変数を設定するにはどうすればよいですか?
プロキシ環境変数をグローバル変数として設定するには、/ etc/profileファイルを開きます。
# vi /etc/profile
次の情報を追加します。
export http_proxy=http://proxy-server.mycorp.com:3128/
ファイルを保存して閉じます。
パスワードで保護されたプロキシサーバーの使用方法
次のようにwgetを使用するだけです。
$ wget --proxy-user=USERNAME --proxy-password=PASSWORD http://path.to.domain.com/some.html
Lynxの構文は次のとおりです。
$ lynx -pauth=USER:PASSWORD http://domain.com/path/html.file
Curlの構文は次のとおりです。
$ curl --proxy-user user:password http://url.com/
この情報をお試しください。
Ubuntuと組み合わせてプロキシを使用する方法について読んでみてください here 。
Pingできないのは当然です。プロキシサーバーは、HTTP、HTTPS、FTPプロトコルを中継(およびキャッシュ)するためのものです。それぞれを個別に構成する必要があります。 pingすると、ICMPプロトコルが使用されます。ほとんどのプロキシサーバーはこれを許可しません。また、ほとんどのプロキシサーバーはDNS解決を実行します(www.google.comをIPアドレスに変換します)。最初の行以外は何も得られない理由は、ドメインを解決できないためです。
最初に提供したガイドに従って、もう一度お試しください。