I was referring to both the environment and the GNOME proxy settings; I'm not sure which was being used in this case, as I have both set.
I was referring to both the environment and the GNOME proxy settings; I'm not sure which was being used in this case, as I have both set.