web-dev-qa-db-fra.com

gnome-Shell ne lit pas la configuration du proxy à l'échelle du système lors de l'installation d'extensions

J'ai deux machines Linux, une au travail et une à la maison. Il s'agit d'un matériel identique et sa configuration est à peu près la même. Les deux exécutent Ubuntu 12.04 LTS et gnome-Shell 3.4.1

Une différence est que pour me connecter à Internet au travail, je dois utiliser le serveur proxy.

Tout fonctionne bien, sauf pour les extensions de gnome. Pour une raison quelconque, je ne parviens pas à installer les extensions de http://extensions.gnome.org au travail. L'interrupteur sur la page feuillette et demande à propos de l'installation mais ne fait rien après cela.

Rien n'est ajouté au dossier ~/.local/share/gnome-Shell/extensions/ ou au dossier /usr/share/gnome-Shell/extensions et rien ne s'affiche dans le gnome-Tweak-tool. De plus, le bouton de navigation retourne à sa position d'origine après l'actualisation de la page.

Je suppose que quelque chose (probablement gnome-Shell) ne lit pas les variables d'environnement $http_proxy et $https_proxy et essaie de télécharger les fichiers directement, Parce que chez moi où je n'ai pas de proxy, tout fonctionne bien.

La question est donc la suivante: gnome-Shell utilise-t-il les paramètres proxy du système lors de l'installation d'extensions? Sinon, comment puis-je le forcer à le faire?

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

~ George

12.04gnomeproxy
4
George

Gnome a son propre ensemble de variables où vous pouvez configurer le proxy. Vous pouvez lire sur quelques endroits où vous devez configurer le proxy ici .

Votre problème spécifique devrait être corrigé, en utilisant ce code dans un shell:

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