Bug#955702: debian-edu-config: pre-configure GNOME's proxy settings

2023-08-21 Thread Guido Berhoerster
On Fri, 03 Apr 2020 21:51:31 + Mike Gabriel wrote: > I found a script that could be used as a knowledgebase for how to do > that (via gsettings): > https://github.com/himanshub16/ProxyMan/blob/master/gsettings.sh The above script changes the per-user database, we need system-wide default v

Bug#955702: debian-edu-config: pre-configure GNOME's proxy settings

2020-04-03 Thread Mike Gabriel
Package: debian-edu-config Hi, I wonder if we should pre-configure GNOME's http proxy settings as well via Debian Edu via update-proxy-from-wpad. I found a script that could be used as a knowledgebase for how to do that (via gsettings): https://github.com/himanshub16/ProxyMan/blob/master/