You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
In multiple config files .codechecker.passwords.json, server_config.json ...
there is value which can be used to turn off the config file.
{
"enabled": true,
}
To me this enabled value is a bit confusing, if I want to use a config file I set it in the command line, if not want to use any config files I do not set it.
But why would I set it in the command line and than disable it in the config file?
The text was updated successfully, but these errors were encountered:
For example we do not have to explicitly give .codechecker.passwords.json to any command. CodeChecker will read this file if it is found on the user's home directory. So without this feature the only way to disable it is to remove this file. Same for the server_config.json file.
The only place where I think we can remove this is from the --config option from the CodeChecker analyze command:
In multiple config files
.codechecker.passwords.json
,server_config.json
...there is value which can be used to turn off the config file.
To me this
enabled
value is a bit confusing, if I want to use a config file I set it in the command line, if not want to use any config files I do not set it.But why would I set it in the command line and than disable it in the config file?
The text was updated successfully, but these errors were encountered: