Re: LYNX-DEV Automatic proxies

[pg]

In a recent note, Heikki Kantola said:

> Date: Wed, 18 Feb 1998 18:01:48 +0200
> 
> Sorry, no points for the last sentence, Java and JavaScript share just 
> some part of name and some command syntax, otherwise they're whole 
> different beasts. But yes, it's quite true that automatic conversion

Thank you for the correction.

> might be tricky, but manual conversion should still be possible as you
> certainly can spot which hosts need to be included in no_proxy-list

This is not at all certain.  If the no_proxy list needs to be
"all hosts except emporium", I need to identify them.  This is
not necessarily a straightforward task.

> and what proxyhost you should use by default.
> 
> > 2) Lynx's proxy definitions are static; Automatic Proxy exists to
> >    provide dynamic proxy identification.  For example, for a while we 
> >    had a situation like:
> > 
> >        emporium.stortek.com  requires proxy; otherwise
> >               *.stortek.com  requires no proxy; otherwise 
> >                           *  requires proxy.
> > 
> >    This configuration is handled easily with a couple "if" statements
> >    in a script.  In Lynx, it can be handled only by enumerating all
> >    the hosts that match the wildcard in the second line, but aren't
> >    "emporium".  There might be hundreds.
> 
> Um, provided that those proxies aren't different ones for different
> URLs I think I that setting no_proxy to "emporium.stortek.com" would 
> work fine. By default proxies in Lynx do apply to all hosts/domains
> not found in no_proxy-list.
> 
You appear to have misread.  I needed to set no_proxy not to "emporium",
but to "all local hosts _except_ emporium".  I know of no simple way
to represent this in Lynx's conventions.

-- gil