gnome-shell doesn't use auto proxy settings
I am using Ubuntu 18.04 LTS I am in an environment using auto proxy to with a .pac file. I see that gnome components like gnome-exensions tries to connect to internet without using proxy.
If I switch proxy settings from auto to manual, then everything works. Unfortunately I have good reasons to use auto proxy as a system-wide settings so other software follow this settings.
- Can you confirm that this is a general bug in gnome-shell (and not linked to anything related to my system) ?
- as a alternative measure to fixing this bug, could we configure gnome-shell to use manual proxy settings even when auto is selected for system-wide settings ? --> same as with the "ignore hosts" field from manual settings which is taken in consideration even when the auto proxy is selected.