gnome-shell Não lê a configuração de proxy do sistema ao instalar extensões

4

Eu tenho duas máquinas Linux, uma no trabalho e uma em casa, elas são idênticas e a configuração é praticamente a mesma. Ambos rodam o Ubuntu 12.04 LTS e o gnome-shell 3.4.1

Uma diferença é que, para se conectar à internet no trabalho, eu tenho que usar o servidor proxy.

Tudo funciona bem, exceto por extensões de gnomo. Por alguma razão, não consigo instalar extensões do link no trabalho. O interruptor na página flicks e solicita sobre a instalação, mas não faz nada depois disso.

Nada é adicionado à pasta ~/.local/share/gnome-shell/extensions/ ou à pasta /usr/share/gnome-shell/extensions e também nada aparece no gnome-tweak-tool . Além disso, o interruptor de movimento retorna à posição original após a atualização da página.

Eu assumo que algo (provavelmente gnome-shell ) não lê as variáveis de ambiente $http_proxy e $https_proxy e tenta baixar os arquivos diretamente, porque em casa onde eu não tenho proxy tudo funciona bem. / p>

Portanto, a pergunta é: O gnome-shell usa as configurações de proxy do sistema ao instalar extensões. Se não como posso forçá-lo a fazê-lo (alguns hack ou smth bacana)?

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

    
por George 05.01.2013 / 20:23

1 resposta

1

O Gnome tem seu próprio conjunto de variáveis onde você pode configurar o proxy. Você pode ler em alguns lugares onde você precisa configurar o proxy aqui .

Seu problema específico deve ser corrigido usando este código em um 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' ]"
    
por phulstaert 25.09.2013 / 15:08