I would like to see it fall back on HTTP_PROXY if PLT_HTTP_PROXY is not found. It is annoying that the cases vary (eg. wget uses http_proxy and https_proxy, curl uses http_proxy and HTTPS_PROXY), but maybe we could prefer the one in all caps and fall back on lowercase. My last job was behind a proxy, and it was so annoying to have to figure out how to get every program to use a proxy. So falling back on the (more or less) standard environment variables would be really helpful so end users of racket programs have less to configure to have things "just work".
On Mon, Oct 12, 2015 at 8:19 AM, Tim Brown <t...@cityc.co.uk> wrote: > I’ve just created PR: > PLT_HTTP_PROXY and PLT_NO_PROXY honoured #1089 > > It doesn’t use the standard HTTP_PROXY and NO_PROXY from the environment, > since > I want to be able to control the proxies for Racket obviously and > separately > from the rest of the environment. > > It’s kinda tested, and only documented in the PR at the moment. > > Could someone form an opinion of this PR for me :-) > > Thanks, > > Tim > > On Friday, October 9, 2015 at 2:39:26 PM UTC+1, Tim Brown wrote: > > Is there any merit in taking the current environment variable values > > (on UNIX at least) of “proxy”, “http_proxy” and “https_proxy” and > > loading them by default into current-proxy-servers? (net/url.rkt l.26) > > > > Are these even the right variables to go for? > > > > What do we think? > > > > Tim > > > > -- > > Tim Brown CEng MBCS <tim.br...@cityc.co.uk> > > ━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━━ > > City Computing Limited · www.cityc.co.uk > > City House · Sutton Park Rd · Sutton · Surrey · SM1 2AE · GB > > T:+44 20 8770 2110 · F:+44 20 8770 2130 > > ──────────────────────────────────────────────────────────────────────── > > City Computing Limited registered in London No:1767817. > > Registered Office: City House, Sutton Park Road, Sutton, Surrey, SM1 2AE > > VAT No: GB 918 4680 96 > > -- > You received this message because you are subscribed to the Google Groups > "Racket Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to racket-users+unsubscr...@googlegroups.com. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.
