-
Notifications
You must be signed in to change notification settings - Fork 45
Closed
Labels
ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change requestpriority-top-focusTop priority chosen by dev teamTop priority chosen by dev team
Milestone
Description
Description
At the moment we don't provide settings.properties file for users. Moreover there is no documentation for this file, and we don't create it by default.
Expected behavior
As soon as the only source of knowledge is our sourcecode (namely UtSettings.kt) we should generate settings.properties as resource file inside plugin archive and provide settings template in user's {home}/.utbot/settings.properties with all default values and documentation from corresponding sourcecode comments.
The generation should be part of "IntelliJ" Gradle task
Note: we shouldn't re-write settings.properties if the file is presented with some custom (not default) user-defined values.
Metadata
Metadata
Assignees
Labels
ctg-enhancementNew feature, improvement or change requestNew feature, improvement or change requestpriority-top-focusTop priority chosen by dev teamTop priority chosen by dev team
Type
Projects
Status
Done