Proxy support is provided in Amaya by the W3C Reference Library. You use two variables to tell Amaya whether you want to use or not a proxy on a specific domain, server, URL, etc. These variables are:
You specify an HTTP proxy using a URL-like syntax:
http://domain_name:portwhere
:port is optional.This variable which takes a list of space-separated domains which you want to access without a proxy. Each domain can include an optional port. The syntax is:
domain-name1:port domain-name2:port ...where
:port is optional.You can set up the proxy variables by using either the Amaya built-in configuration menus or by using environment variables.
See the special Maunal section on how to use the Proxy Configuration Menu.
Amaya uses the environment variables proxy and no_proxy for setting up the proxies. For example, under the UNIX tcsh shell, you can set them up as follows:
setenv http_proxy http://groucho.marx.edu:1028 setenv no_proxy harpo.marx.edu zeppo.marx.edu chico.marx.edu
One way to do this under MS-Windows is to add the following lines to your
autoexec.bat file:
set http_proxy=http://groucho.marx.edu:1028 set no_proxy=harpo.marx.edu zeppo.marx.edu chico.marx.edu
Please consult your system's documentation for more complete information on how to specify environment variables.
N.B. If you were running Amaya when you modified the proxy variables, you'll have to restart it in order to take into account the value of the proxy variables.