GNU Dico Manual (split by node):   Section:   Chapter:FastBack: dico client   Up: Interactive Mode   FastForward: gcider   Contents: Table of ContentsIndex: Concept Index

7.2.1 Server Commands

The open command establishes connection to a remote server. It takes up to two arguments, first of them specifying the IP or host name of the server, and the optional second one specifying the port number to connect to. For example:

dico> .open gnu.org.ua

If any or both of its arguments are absent, the open command reuses the value supplied with its previous invocation, or, if it is issued for the first time, the default values. The default for server name is ‘gnu.org.ua’ and the default port number is 2628. Both values can be changed at configuration time, see Default Server for a detailed instruction.

When given one argument, open checks if it begins with a directory separator (‘/’). If so, the argument is handled as the full file name of a UNIX socket.

Note that you are not required to issue this command. If it is not given, dico will attempt to establish a connection using its default settings before executing any command that requires a connection to the server.

The close command closes the connection. It does not take any arguments.

GNU Dico Manual (split by node):   Section:   Chapter:FastBack: dico client   Up: Interactive Mode   FastForward: gcider   Contents: Table of ContentsIndex: Concept Index