# 设置参数
$ sudo gsettings set org.gnome.system.proxy.http host 'my.proxy.com' #代理设置
$ sudo gsettings set org.gnome.system.proxy.http port 8000 #端口设置
# manual参数为自动了;none参数则为关闭
$ sudo gsettings set org.gnome.system.proxy mode manual # 修改manual不能添加引号,否则不生效[ubuntu18测试]
原文章中参数加了引号,无法生效,去之则可
# 参考并测试 慕课文章