Arch Linux

BastardLawyerFromHell

Member

Registered: 2011-06-01

Posts: 12

How to change proxy-settings on Gnome with NetworkManager?

Hello, people,

I'd like to have seperate proxy-settings for different network-connections. But the traditional way to change the proxy-variables by exporting do not work.

I'm using Gnome Shell with NetworkManager (and NM-dispatcher).

Changing proxy-settings only works with Gnome-Settings. Do I have to set up dconf-settings by using a dispatcher-script? That's what I didn't try, yet – and what I don't know how to do so.

Thanks for any helpful answer!

BastardLawyerFromHell

Member

Registered: 2011-06-01

Posts: 12

Re: How to change proxy-settings on Gnome with NetworkManager?

--- UPDATE ---
Using gsettings seems to be in general the answer. But I have a problem with generating the bash-script for NetworkManager dispatcher:

Since gsettings/dconf is user-bounded one must not use gsettings as root. But there's a problem when I want to set up the IP-addresses the proxy shall not use:

su [user] -c "gsettings set org.gnome.system.proxy ignore-hosts \127\.0\.0\.1"

This or any similar code throws out following error:

invalid character in number:
  127.0.0.1
     ^     

Need bash-scripting-help, please!

chuck9944

Member

Registered: 2025-05-19

Posts: 1

Re: How to change proxy-settings on Gnome with NetworkManager?

Use it like this instead:

gsettings set org.gnome.system.proxy ignore-hosts '["127.0.0.1"]'

BastardLawyerFromHell

Member

Registered: 2011-06-01

Posts: 12

Re: How to change proxy-settings on Gnome with NetworkManager?

Use it like this instead:

gsettings set org.gnome.system.proxy ignore-hosts '["127.0.0.1"]'

THIS made it! One can use:

gsettings set org.gnome.system.proxy ignore-hosts '["127.0.0.1", "localhost"]'

or

gsettings set org.gnome.system.proxy ignore-hosts "['127.0.0.1', 'localhost', '*.some.domain']"

which I preferred as it seems to be the original code within the dconf (even for the asterisks/wildcards).

Thank you very much!

tekstryder

Member

Registered: 2013-02-14

Posts: 351

Re: How to change proxy-settings on Gnome with NetworkManager?

it seems to be the original code within the dconf

The current defaults are:

$ gsettings get org.gnome.system.proxy ignore-hosts
['localhost', '127.0.0.0/8', '::1']