web-dev-qa-db-ja.com

gnome-Shellは、拡張機能をインストールするときにシステム全体のプロキシ設定を読み取りません

2台のLinuxマシンがあり、1台は自宅で、もう1台は同一のハードウェアであり、セットアップもほぼ同じです。どちらもUbuntu 12.04 LTSとgnome-Shell 3.4.1を実行します

1つの違いは、職場でインターネットに接続するにはプロキシサーバーを使用する必要があることです。

Eveythingはgnome拡張機能を除いてうまく機能します。何らかの理由で、仕事で http://extensions.gnome.org から拡張機能をインストールできません。ページ上のスイッチはフリックしてインストールに関するプロンプトを表示しますが、その後は何もしません。

~/.local/share/gnome-Shell/extensions/フォルダーまたは/usr/share/gnome-Shell/extensionsフォルダーには何も追加されず、gnome-Tweak-toolにも何も表示されません。また、ページが更新されると、フリックスイッチは元の位置に戻ります。

私は何か（おそらくgnome-Shell）が$http_proxyおよび$https_proxy環境変数を読み取らず、ファイルを直接ダウンロードしようとすると仮定します。いいよ.

したがって、質問は次のとおりです。拡張機能をインストールするときに、gnome-Shellはシステム全体のプロキシ設定を使用しますか。そうでない場合、どうすればそれを強制することができますか（いくつかの気の利いたハックまたはスムス）？

hertz@hertzbox:~$ uname -a
Linux hertzbox 3.2.0-35-generic #55-Ubuntu SMP Wed Dec 5 17:42:16 UTC 2012 x86_64 x86_64 x86_64 GNU/Linux

hertz@hertzbox:~$ lsb_release -a
No LSB modules are available.
Distributor ID: Ubuntu
Description:    Ubuntu 12.04.1 LTS
Release:    12.04
Codename:   precise

hertz@hertzbox:~$ gnome-Shell --version
GNOME Shell 3.4.1

〜ジョージ

12.04gnomeproxy
4
George

Gnomeには、プロキシを構成できる独自の変数セットがあります。プロキシを構成する必要があるいくつかの場所を参照できます here 。

シェルでこのコードを使用して、特定の問題を修正する必要があります。

gsettings set org.gnome.system.proxy mode 'manual'
gsettings set org.gnome.system.proxy.http Host 'yourproxy'
gsettings set org.gnome.system.proxy.http port 8080
gsettings set org.gnome.system.proxy.ftp Host 'yourproxy'
gsettings set org.gnome.system.proxy.ftp port 8080
gsettings set org.gnome.system.proxy.https Host 'yourproxy'
gsettings set org.gnome.system.proxy.https port 8080
gsettings set org.gnome.system.proxy ignore-hosts "['localhost', '127.0.0.0/8', '*.localdomain.com' ]"
1
phulstaert