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

provide an option to export/import configuration and allow specifying used one via command line #655

Open
GitMensch opened this issue Jun 4, 2024 · 1 comment

Comments

@GitMensch
Copy link
Contributor

GitMensch commented Jun 4, 2024

Better idea: provide an option to select to configuration via command line. That would take care of all the other stuff (sysroot, ...) too

Originally posted by @lievenhey in #556 (comment)

I extend the suggested option by an export/import (or save/load) option in the settings dialog, as I have no clue where the configuration should come from. If I understood this part wrong, then feel free to drop that part.

For the command line: any explicit set option should override/extend the given configuration file. If that's not easily possible it would be order precedence [so everything is reset if --configuration is parsed which may should be left as hint in the help text].

@GitMensch GitMensch changed the title provide an option to export/import configuration and allow specifying one used one it via command line provide an option to export/import configuration and allow specifying used one via command line Jun 4, 2024
@lievenhey
Copy link
Contributor

You can use this setting in the config dialog to save the settings in a "preset". My idea was that you can also load this "preset" from the command line.
grafik

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

No branches or pull requests

2 participants