OK, actually I have figured that out: Since Gnome 2.24(?) the main setting moved to /system/proxy/mode, which can take values of 'auto', 'manual' and 'none'. This probably replaces the old /system/http_proxy/use_http_proxy, so setting of the latter directly has no effect, while setting the mode to 'manual' in the new location enables the use_http_proxy as well.
-- setting http proxy directly via gconf no longer works https://bugs.launchpad.net/bugs/290995 You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gconf in ubuntu. -- desktop-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
