Skip to content

Consider moving the connection list out of settings.json #7187

Open
@lnicola

Description

@lnicola

Is your feature request related to a problem? Please describe.
Some users might want to synchronize their settings across multiple computers. In that case, the editor settings should not include the server list.

Describe the solution or feature you'd like
The servers (datasource.connections) should be stored in a separate file, e.g. connections.json.

Describe alternatives you've considered

  • do nothing, dissuade users from synchronizing their settings.json

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions