$ define/system HTTP_PROXY "http://wwwcache.lnf.infn.it:8080/" $ define/system WAIS_PROXY "http://wwwcache.lnf.infn.it:8080/" $ define/system FTP_PROXY "http://wwwcache.lnf.infn.it:8080/" $ define/system NO_PROXY "lnf.infn.it"A user can overwrite the system definitions in this way:
$ define HTTP_PROXY "http://wwwcache.lnf.infn.it:8080/" $ define WAIS_PROXY "http://wwwcache.lnf.infn.it:8080/" $ define FTP_PROXY "http://wwwcache.lnf.infn.it:8080/" $ define NO_PROXY "lnf.infn.it"