Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Jay McCarthy]

Line 509 reads

@[current-no-proxy-servers]

But I expect you mean

@racket[current-no-proxy-servers]

Because otherwise, you're trying to call the parameter reading
function from within the docs.

Jay

On Wed, Oct 14, 2015 at 1:08 PM, Tim Brown  wrote:
> I’m having a truly difficult time documenting this.
>
> I have cloned out my (not quite ready to release any more)
> tim-brown/racket repo. Checked out the proxy-servers-from-env branch;
> which has the changes in url.rkt:
>
> https://github.com/tim-brown/racket/blob/proxy-servers-from-env/racket/collects/net/url.rkt
>
> I have "make in-place"'ed this; and also cloned the net package (with
> the tests and docs) with:
>
> raco pkg update --clone extra-pkgs/net
>
> I have added a tim-brown remote to this git repo, and checked out the
> proxies-from-environment branch from my repo:
>
> https://github.com/tim-brown/net/blob/proxies-from-environment/net-doc/net/scribblings/url.scrbl
>
> url.scrbl refers to current-no-proxy-servers (which is defined in
> url.rkt)
>
> I run "raco setup" to rebuild my docs, and I get:
>
> raco setup: --- summary of errors ---
> raco setup: error: during making for /net-doc/net/scribblings
> raco setup:   net-doc/net/scribblings/url.scrbl:509:31:
> current-no-proxy-servers: unbound identifier in module
> raco setup: in: current-no-proxy-servers
> raco setup: compiling: /net-doc/net/scribblings/url.scrbl
>
> What am I missing here?
>
> Thanks, in advance, for your help.
>
> Tim
>
> On 14/10/15 15:11, Jay McCarthy wrote:
>> I agree. The Web server does this with parsing the query string and POST 
>> data.
>>
>> On Wed, Oct 14, 2015 at 9:41 AM, Sam Tobin-Hochstadt
>>  wrote:
>>> I recommend using a promise to avoid referencing/parsing the
>>> environment variables until the point where they're needed. That way
>>> people who require `net/url` just for URL parsing etc don't pay that
>>> cost.
>>>
>>> Sam
>
>
> --
> Tim Brown CEng MBCS 
> 
> 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



-- 
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

   "Wherefore, be not weary in well-doing,
  for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
  - D 64:33

-- 
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.

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Tim Brown]

I’m having a truly difficult time documenting this.

I have cloned out my (not quite ready to release any more)
tim-brown/racket repo. Checked out the proxy-servers-from-env branch;
which has the changes in url.rkt:

https://github.com/tim-brown/racket/blob/proxy-servers-from-env/racket/collects/net/url.rkt

I have "make in-place"'ed this; and also cloned the net package (with
the tests and docs) with:

raco pkg update --clone extra-pkgs/net

I have added a tim-brown remote to this git repo, and checked out the
proxies-from-environment branch from my repo:

https://github.com/tim-brown/net/blob/proxies-from-environment/net-doc/net/scribblings/url.scrbl

url.scrbl refers to current-no-proxy-servers (which is defined in
url.rkt)

I run "raco setup" to rebuild my docs, and I get:

raco setup: --- summary of errors ---
raco setup: error: during making for /net-doc/net/scribblings
raco setup:   net-doc/net/scribblings/url.scrbl:509:31:
current-no-proxy-servers: unbound identifier in module
raco setup: in: current-no-proxy-servers
raco setup: compiling: /net-doc/net/scribblings/url.scrbl

What am I missing here?

Thanks, in advance, for your help.

Tim

On 14/10/15 15:11, Jay McCarthy wrote:
> I agree. The Web server does this with parsing the query string and POST data.
> 
> On Wed, Oct 14, 2015 at 9:41 AM, Sam Tobin-Hochstadt
>  wrote:
>> I recommend using a promise to avoid referencing/parsing the
>> environment variables until the point where they're needed. That way
>> people who require `net/url` just for URL parsing etc don't pay that
>> cost.
>>
>> Sam


-- 
Tim Brown CEng MBCS 

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.

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Tim Brown]

I was (still am, in fact) in two minds about using a standard proxy or
using an “application-specific” prefix. I’ve got to document and test
the new code; while I’m doing that anyone who wants to offer an opinion
is welcome to... I’ll take a poll, look at the results, then make up my
mind.

Tim

On 14/10/15 00:15, Paolo Giarrusso wrote:
> On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
>> I would like to see it fall back on HTTP_PROXY if PLT_HTTP_PROXY is not 
>> found.
> +1
> 
>> 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.
> 
> To be sure, for HTTP both wget and curl (and not only) agree on `http_proxy`.
> Before today I had always only seen (on Linux) the lowercase variant, also 
> for other ones (e.g. 
> https://wiki.archlinux.org/index.php/Proxy_settings#Environment_variables, 
> https://askubuntu.com/questions/228530/updating-http-proxy-environment-variable,
>  http://www.cyberciti.biz/faq/linux-unix-set-proxy-environment-variable/).
> 
> On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
>> 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.
> 
> But (I'd guess, like William Hatch) most users would want to set those at 
> once. If I were writing a patch and I wanted special proxies for Racket, I'd 
> try to support well common use cases (reading `http_proxy`), and only add 
> extra code for other cases if they're widespread enough.
> Changing a variable before starting specific command is not hard per se, and 
> it's not hard to have some alias for it:
> `http_proxy=$PLT_HTTP_PROXY racket ...`
> 


-- 
Tim Brown CEng MBCS 

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.

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Jay McCarthy]

I don't think there is anything wrong with having a long and
documented list of what proxy variables and formats are used. The
PLT_* ones would have priority, of course.

Jay

On Wed, Oct 14, 2015 at 4:32 AM, Tim Brown  wrote:
> I was (still am, in fact) in two minds about using a standard proxy or
> using an “application-specific” prefix. I’ve got to document and test
> the new code; while I’m doing that anyone who wants to offer an opinion
> is welcome to... I’ll take a poll, look at the results, then make up my
> mind.
>
> Tim
>
> On 14/10/15 00:15, Paolo Giarrusso wrote:
>> On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
>>> I would like to see it fall back on HTTP_PROXY if PLT_HTTP_PROXY is not 
>>> found.
>> +1
>>
>>> 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.
>>
>> To be sure, for HTTP both wget and curl (and not only) agree on `http_proxy`.
>> Before today I had always only seen (on Linux) the lowercase variant, also 
>> for other ones (e.g. 
>> https://wiki.archlinux.org/index.php/Proxy_settings#Environment_variables, 
>> https://askubuntu.com/questions/228530/updating-http-proxy-environment-variable,
>>  http://www.cyberciti.biz/faq/linux-unix-set-proxy-environment-variable/).
>>
>> On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
>>> 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.
>>
>> But (I'd guess, like William Hatch) most users would want to set those at 
>> once. If I were writing a patch and I wanted special proxies for Racket, I'd 
>> try to support well common use cases (reading `http_proxy`), and only add 
>> extra code for other cases if they're widespread enough.
>> Changing a variable before starting specific command is not hard per se, and 
>> it's not hard to have some alias for it:
>> `http_proxy=$PLT_HTTP_PROXY racket ...`
>>
>
>
> --
> Tim Brown CEng MBCS 
> 
> 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.



-- 
Jay McCarthy
Associate Professor
PLT @ CS @ UMass Lowell
http://jeapostrophe.github.io

   "Wherefore, be not weary in well-doing,
  for ye are laying the foundation of a great work.
And out of small things proceedeth that which is great."
  - D 64:33

-- 
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.

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Tim Brown]

How concerned should I be about performing a long and documented list
of parsing proxy variables when net/URL is required?

Remember that, only last week, it was up to the user to set
current-proxy-servers manually. Now I’m already string-splitting and
URL parsing environment variables. I don’t want this process to become
(too) bloated.

Tim

On 14/10/15 12:38, Jay McCarthy wrote:
> I don't think there is anything wrong with having a long and
> documented list of what proxy variables and formats are used. The
> PLT_* ones would have priority, of course.
> 
> Jay
> 
> On Wed, Oct 14, 2015 at 4:32 AM, Tim Brown  wrote:
>> I was (still am, in fact) in two minds about using a standard proxy or
>> using an “application-specific” prefix. I’ve got to document and test
>> the new code; while I’m doing that anyone who wants to offer an opinion
>> is welcome to... I’ll take a poll, look at the results, then make up my
>> mind.
>>
>> Tim
>>
>> On 14/10/15 00:15, Paolo Giarrusso wrote:
>>> On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
 I would like to see it fall back on HTTP_PROXY if PLT_HTTP_PROXY is not 
 found.
>>> +1
>>>
 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.
>>>
>>> To be sure, for HTTP both wget and curl (and not only) agree on 
>>> `http_proxy`.
>>> Before today I had always only seen (on Linux) the lowercase variant, also 
>>> for other ones (e.g. 
>>> https://wiki.archlinux.org/index.php/Proxy_settings#Environment_variables, 
>>> https://askubuntu.com/questions/228530/updating-http-proxy-environment-variable,
>>>  http://www.cyberciti.biz/faq/linux-unix-set-proxy-environment-variable/).
>>>
>>> On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
 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.
>>>
>>> But (I'd guess, like William Hatch) most users would want to set those at 
>>> once. If I were writing a patch and I wanted special proxies for Racket, 
>>> I'd try to support well common use cases (reading `http_proxy`), and only 
>>> add extra code for other cases if they're widespread enough.
>>> Changing a variable before starting specific command is not hard per se, 
>>> and it's not hard to have some alias for it:
>>> `http_proxy=$PLT_HTTP_PROXY racket ...`
>>>
>>
>>
>> --
>> Tim Brown CEng MBCS 
>> 
>> 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.
> 
> 
> 


-- 
Tim Brown CEng MBCS 

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.

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Sam Tobin-Hochstadt]

I recommend using a promise to avoid referencing/parsing the
environment variables until the point where they're needed. That way
people who require `net/url` just for URL parsing etc don't pay that
cost.

Sam

On Wed, Oct 14, 2015 at 9:35 AM, Tim Brown  wrote:
> How concerned should I be about performing a long and documented list
> of parsing proxy variables when net/URL is required?
>
> Remember that, only last week, it was up to the user to set
> current-proxy-servers manually. Now I’m already string-splitting and
> URL parsing environment variables. I don’t want this process to become
> (too) bloated.
>
> Tim
>
> On 14/10/15 12:38, Jay McCarthy wrote:
>> I don't think there is anything wrong with having a long and
>> documented list of what proxy variables and formats are used. The
>> PLT_* ones would have priority, of course.
>>
>> Jay
>>
>> On Wed, Oct 14, 2015 at 4:32 AM, Tim Brown  wrote:
>>> I was (still am, in fact) in two minds about using a standard proxy or
>>> using an “application-specific” prefix. I’ve got to document and test
>>> the new code; while I’m doing that anyone who wants to offer an opinion
>>> is welcome to... I’ll take a poll, look at the results, then make up my
>>> mind.
>>>
>>> Tim
>>>
>>> On 14/10/15 00:15, Paolo Giarrusso wrote:
 On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
> I would like to see it fall back on HTTP_PROXY if PLT_HTTP_PROXY is not 
> found.
 +1

> 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.

 To be sure, for HTTP both wget and curl (and not only) agree on 
 `http_proxy`.
 Before today I had always only seen (on Linux) the lowercase variant, also 
 for other ones (e.g. 
 https://wiki.archlinux.org/index.php/Proxy_settings#Environment_variables, 
 https://askubuntu.com/questions/228530/updating-http-proxy-environment-variable,
  http://www.cyberciti.biz/faq/linux-unix-set-proxy-environment-variable/).

 On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
> 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.

 But (I'd guess, like William Hatch) most users would want to set those at 
 once. If I were writing a patch and I wanted special proxies for Racket, 
 I'd try to support well common use cases (reading `http_proxy`), and only 
 add extra code for other cases if they're widespread enough.
 Changing a variable before starting specific command is not hard per se, 
 and it's not hard to have some alias for it:
 `http_proxy=$PLT_HTTP_PROXY racket ...`

>>>
>>>
>>> --
>>> Tim Brown CEng MBCS 
>>> 
>>> 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.
>>
>>
>>
>
>
> --
> Tim Brown CEng MBCS 
> 
> 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 

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Jay McCarthy]

I agree. The Web server does this with parsing the query string and POST data.

On Wed, Oct 14, 2015 at 9:41 AM, Sam Tobin-Hochstadt
 wrote:
> I recommend using a promise to avoid referencing/parsing the
> environment variables until the point where they're needed. That way
> people who require `net/url` just for URL parsing etc don't pay that
> cost.
>
> Sam
>
> On Wed, Oct 14, 2015 at 9:35 AM, Tim Brown  wrote:
>> How concerned should I be about performing a long and documented list
>> of parsing proxy variables when net/URL is required?
>>
>> Remember that, only last week, it was up to the user to set
>> current-proxy-servers manually. Now I’m already string-splitting and
>> URL parsing environment variables. I don’t want this process to become
>> (too) bloated.
>>
>> Tim
>>
>> On 14/10/15 12:38, Jay McCarthy wrote:
>>> I don't think there is anything wrong with having a long and
>>> documented list of what proxy variables and formats are used. The
>>> PLT_* ones would have priority, of course.
>>>
>>> Jay
>>>
>>> On Wed, Oct 14, 2015 at 4:32 AM, Tim Brown  wrote:
 I was (still am, in fact) in two minds about using a standard proxy or
 using an “application-specific” prefix. I’ve got to document and test
 the new code; while I’m doing that anyone who wants to offer an opinion
 is welcome to... I’ll take a poll, look at the results, then make up my
 mind.

 Tim

 On 14/10/15 00:15, Paolo Giarrusso wrote:
> On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
>> I would like to see it fall back on HTTP_PROXY if PLT_HTTP_PROXY is not 
>> found.
> +1
>
>> 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.
>
> To be sure, for HTTP both wget and curl (and not only) agree on 
> `http_proxy`.
> Before today I had always only seen (on Linux) the lowercase variant, 
> also for other ones (e.g. 
> https://wiki.archlinux.org/index.php/Proxy_settings#Environment_variables,
>  
> https://askubuntu.com/questions/228530/updating-http-proxy-environment-variable,
>  http://www.cyberciti.biz/faq/linux-unix-set-proxy-environment-variable/).
>
> On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
>> 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.
>
> But (I'd guess, like William Hatch) most users would want to set those at 
> once. If I were writing a patch and I wanted special proxies for Racket, 
> I'd try to support well common use cases (reading `http_proxy`), and only 
> add extra code for other cases if they're widespread enough.
> Changing a variable before starting specific command is not hard per se, 
> and it's not hard to have some alias for it:
> `http_proxy=$PLT_HTTP_PROXY racket ...`
>


 --
 Tim Brown CEng MBCS 
 
 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.
>>>
>>>
>>>
>>
>>
>> --
>> Tim Brown CEng MBCS 
>> 
>> 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.

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[William Hatch]

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  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 
> > 
> > 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.

Re: [racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Paolo Giarrusso]

On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
> I would like to see it fall back on HTTP_PROXY if PLT_HTTP_PROXY is not found.
+1

> 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.

To be sure, for HTTP both wget and curl (and not only) agree on `http_proxy`.
Before today I had always only seen (on Linux) the lowercase variant, also for 
other ones (e.g. 
https://wiki.archlinux.org/index.php/Proxy_settings#Environment_variables, 
https://askubuntu.com/questions/228530/updating-http-proxy-environment-variable,
 http://www.cyberciti.biz/faq/linux-unix-set-proxy-environment-variable/).

On Tuesday, October 13, 2015 at 9:21:08 PM UTC+2, William Hatch wrote:
> 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.

But (I'd guess, like William Hatch) most users would want to set those at once. 
If I were writing a patch and I wanted special proxies for Racket, I'd try to 
support well common use cases (reading `http_proxy`), and only add extra code 
for other cases if they're widespread enough.
Changing a variable before starting specific command is not hard per se, and 
it's not hard to have some alias for it:
`http_proxy=$PLT_HTTP_PROXY racket ...`

-- 
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.

[racket-users] Re: Case for net/url.rkt to read HTTP proxy servers from environment

[Tim Brown]

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 
> 
> 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.