Dico |
|
GNU Dictionary Server |
Sergey Poznyakoff |
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
server:
$ ./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 September 4, 2020 using makeinfo.
Verbatim copying and distribution of this entire article is permitted in any medium, provided this notice is preserved.