Petals CLI 2.1.2+

compared with
Key
This line was removed.
This word was removed. This word was added.
This line was added.

Changes (2)

View Page History
** *alias.default*: the default alias to use (required).
** *user.lang*: the language to use in Petals CLI.
** *embedded.http.port*: the listening port of the embedded HTTP server (see the command {{deploy}}). Default value: 7500.
*** This property is optional. If not set, OS settings are used. If the OS language setting is not supported, then English is used.
*** If the value is specified and not supported, then English is picked up.
*** French and English are the two languages that must be supported. Others are optional (but contributions are welcome).
** *embedded.http.port*: the listening port of the embedded HTTP server (see the command {{deploy}}). Default value: 7500.
* section defining aliases. An alias identifies all the properties of a connection. An alias is defined as following:
** *<alias>.host*: the host of the default Petals node (required).