diff options
author | Jordan Gong <jordan@inspiron-n4050.localdomain> | 2020-10-04 09:26:06 +0800 |
---|---|---|
committer | Jordan Gong <jordan@inspiron-n4050.localdomain> | 2020-10-04 09:26:06 +0800 |
commit | a866f38601517257dfd5d6cc55e2d133e22105fb (patch) | |
tree | c9acba7e98370465f4390a1de110985444f6b51c | |
parent | 39bb0d50ecbdd6d9669a01c7d2c170ed07291f76 (diff) |
Add GNOME on Xorg support
-rwxr-xr-x | run.sh | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -3,7 +3,7 @@ set_proxy() { case "$XDG_SESSION_DESKTOP" in - "gnome" | "ubuntu") + "gnome" | "gnome-xorg" | "ubuntu") gsettings set org.gnome.system.proxy mode "manual" gsettings set org.gnome.system.proxy.socks host "127.0.0.1" gsettings set org.gnome.system.proxy.socks port "10808" @@ -23,7 +23,7 @@ set_proxy() { unset_proxy() { case "$XDG_SESSION_DESKTOP" in - "gnome" | "ubuntu") + "gnome" | "gnome-xorg" | "ubuntu") gsettings set org.gnome.system.proxy mode "none" ;; |