diff options
| -rw-r--r-- | data/default_config.cfg | 10 | ||||
| -rw-r--r-- | doc/en/configure.txt | 12 |
2 files changed, 22 insertions, 0 deletions
diff --git a/data/default_config.cfg b/data/default_config.cfg index e803a7d1..0ad9e328 100644 --- a/data/default_config.cfg +++ b/data/default_config.cfg @@ -31,6 +31,16 @@ jid = # If you leave this empty, the password will be asked at each startup password = +# A custom host that will be used instead of the DNS records for the server +# (anonymous or the jid’s) defined above. +# You should not need this in a "normal" use case. +custom_host = + +# A custom port to use instead of the 5222. +# This option can be combined with custom_host. +# You should not need this in a "normal" use case. +custom_port = + # the rooms you will join automatically on startup, with associated nickname or not # format : room@server.tld/nickname:room2@server.tld/nickname2 # default_nick will be used if "/nickname" is not specified diff --git a/doc/en/configure.txt b/doc/en/configure.txt index ef710690..5928ef3e 100644 --- a/doc/en/configure.txt +++ b/doc/en/configure.txt @@ -264,6 +264,18 @@ Configuration options or if they are really resized only when needed (if set to true). “true” should be the most comfortable value +*custom_host*:: [empty] + + A custom host that will be used instead of the DNS records for the server + (anonymous or the jid’s) defined above. + You should not need this in a "normal" use case. + +*custom_port*:: [empty] + + A custom port to use instead of the 5222. + This option can be combined with custom_host. + You should not need this in a "normal" use case. + *plugins_autoload*:: [empty] Space separated list of plugins to load on startup. |