Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

enabled config value in the config files #2654

Open
gyorb opened this issue Mar 27, 2020 · 1 comment
Open

enabled config value in the config files #2654

gyorb opened this issue Mar 27, 2020 · 1 comment

Comments

@gyorb
Copy link
Contributor

gyorb commented Mar 27, 2020

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?

@csordasmarton
Copy link
Contributor

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:

analyzer_opts.add_argument('--config',

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

5 participants