Thank you for your comment, I really appreciate it. However, I can't see how a port number would be a string. GNOME's proxy settings only allow for an Integer, and I'm not able to find a correct scenario why one would have setup a string.
And how can I target "development" from a "stable" installation? Thank you!
Thank you for your comment, I really appreciate it. However, I can't see how a port number would be a string. GNOME's proxy settings only allow for an Integer, and I'm not able to find a correct scenario why one would have setup a string.
And how can I target "development" from a "stable" installation? Thank you!