!proxy [-[xxx] | +[xxx] | address [port]]
This command will create or manipulate a .wrproxy file in the user's home directory, which will provide a transport proxy url for internet access, for use by both the Xic and WRspice programs. The file contains a single line giving the internet url of the proxy. The proxy will be used to relay internet transactions such as checking for program updates and messages, obtaining circuit files with the source command or data files with the load command via http or ftp transport, and general internet access through the help system.
One can create a .wrproxy file by hand with a text editor. The general form is
http://username:password@ proxy.mydomain.com:portThe format must be http, https is not supported at present. The username and password if needed are specified as shown, using the colon `:' and at-sign `@' as separators. The address can be a numeric ip quad, or a standard address. The port number is appended following a colon. No white space is allowed within the text.
This command allows the .wrproxy file to be created, updated, and destroyed from within Xic. Here, the address is the complete token, as described above, but possibly without the port.
If no arguments are given, the address will be prompted for. If the given address does not contain a port, a port is then prompted for. The port is optional, and defaults to 80 if no port is given. The port should be numeric, and is added to the file text separated by as a colon as above.
The address can instead be given as a command argument, and the port may be given as a second argument or may be given as part of the first argument.
If the argument consists of only a hyphen `-', the .wrproxy file will be moved to .wrproxy.bak, in the user's home directory. An existing .wrproxy.bak file will be overwritten. If the hyphen is followed by some non-space characters, the .wrproxy file will be moved to a new file where the given characters serve as a suffix following a period. For example, if -ZZ is given, the new file would be ``.wrproxy.ZZ'' in the user's home directory. An existing file of that name will be overwritten.
If the argument consists of only a plus sign `+', if a file named ``.wrproxy.bak'' exists in the user's home directory, it will be moved to .wrproxy. An existing .wrproxy will be overwritten. If the `+' is followed by some non-space characters, the command will look for a file where the characters are used as a suffix, as above, and if found the file will be moved to .wrproxy.
Only the .wrproxy file has any significance to Xic and WRspice, the other renamed files provide convenient storage, for quickly switching between proxys, or no proxy.
Otherwise, if an argument is given, the first argument must start with ``http:'' or an error will result.