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/

Bug#955707: debian-edu-config: use DuckDuckGo as Chromium's default search provider

2020-04-03 Thread Mike Gabriel
Package: debian-edu-config Severity: wishlist Currently (during the bullseye release cycle), chromium uses Google as the default search provider. With the below snippet dropped into /etc/chromium/policies/managed/.json we could switch that to DuckDuckGo: { "DefaultSearchProviderEnable