GNU Dictionary Server
3.2 Default Server
Unless given an explicit dictionary server, the
dico client program
attempts to connect to the server ‘
dict://dico.gnu.org.ua’. You may
change this default by defining the
DEFAULT_DICT_SERVER variable. For
example, the following command line selects ‘dict.org’ as the default
$ ./configure DEFAULT_DICT_SERVER=dict.org
The value of the
DEFAULT_DICT_SERVER variable can be either a
hostname or IP address of the server. It can also be followed by a
colon and a port specification, either as a decimal number or as
a service name from /etc/services.
This document was generated on April 24, 2019 using makeinfo.Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.