Bug#675311: gnome-shell does not use proxy

2014-03-20 Thread althaser
Hey, this is an old bug report. Could you please still reproduce this issue with newer gnome-shell version like 3.4.2-7+deb7u1 or 3.8.4-5+b1 ? thanks regards althaser

Bug#675311: gnome-shell does not use proxy

2012-05-31 Thread Thomas Renard
Package: gnome-shell Version: 3.4.1-5 Severity: normal Dear Maintainer, EXACT STEPS LEADING TO PROBLEM: Your environment should only allow internet access via web proxy 1. (Create new user and log in with this user - to avoid config problems) 2. Type Super -> Proxy and select Network 3. Select