diff options
Diffstat (limited to 'docs/part-2/1_xds-server/1_config.md')
| -rw-r--r-- | docs/part-2/1_xds-server/1_config.md | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/docs/part-2/1_xds-server/1_config.md b/docs/part-2/1_xds-server/1_config.md index fc82807..ad86043 100644 --- a/docs/part-2/1_xds-server/1_config.md +++ b/docs/part-2/1_xds-server/1_config.md @@ -16,6 +16,8 @@ Supported fields in configuration file are: - **shareRootDir** : root directory where projects will be copied - **logsDir** : directory to store logs (eg. syncthing output) - **sdkScriptsDir** : directory where scripts, used to managed SDKs, are installed +- **sdkDbUpdate** : define how SDK database(s) is(are) updated, supported values are: + `disable`, `startup` (default: `startup`) - **syncthing.binDir** : syncthing binaries directory (default: executable directory) - **syncthing.home"** : syncthing home directory (usually .../syncthing-config) - **syncthing.gui-address** : syncthing gui url (default <http://localhost:8385>) @@ -30,6 +32,7 @@ All fields are optional and example below corresponds to the default values. "shareRootDir": "${HOME}/.xds/server/projects", "logsDir": "/tmp/logs", "sdkScriptsDir": "${EXEPATH}/scripts/sdks", + "sdkDbUpdate": "startup", "syncthing": { "binDir": "./bin", "home": "${HOME}/.xds/server/syncthing-config", |