设置了 http_proxy,https_proxy, url-proxy-services,还是不行。
WebKitGTK 会使用通过 GNOME control center 设置的代理,可以用其改变,也可以手动更改 org.gnome.system.proxy。
我用的 kde,是只有 gnome 才行嘛。
KDE 下应该可以手动用 gsettings 设置 org.gnome.system.proxy
设置了 http_proxy,https_proxy, url-proxy-services,还是不行。
WebKitGTK 会使用通过 GNOME control center 设置的代理,可以用其改变,也可以手动更改 org.gnome.system.proxy。
我用的 kde,是只有 gnome 才行嘛。
KDE 下应该可以手动用 gsettings 设置 org.gnome.system.proxy