Skip to content

User JSON Configuration#78

Merged
zonotope merged 36 commits intomainfrom
feature/user-config
Jul 24, 2024
Merged

User JSON Configuration#78
zonotope merged 36 commits intomainfrom
feature/user-config

Conversation

@zonotope
Copy link
Contributor

This patch changes the main configuration file format from edn to json. It also allows users to override default configuration values in two ways: using a "profiles" key in the json configuration, and through environment variables.

An example configuration file can be found in resource/config.json.

This patch also adds initial validation of user configurations, but the validations are only a first pass and are not as restrictive and precise as they should be, and we should tighten them up later after the config format stabilizes.

This patch also has some cleanup left over from #75

@zonotope zonotope requested a review from a team July 24, 2024 03:34
@zonotope zonotope self-assigned this Jul 24, 2024
@zonotope zonotope mentioned this pull request Jul 24, 2024
(def options
[["-p" "--profile PROFILE" "Run profile"
:parse-fn keyword]
["-c" "--config FILE" "Configuration file path"]
Copy link
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice, this looks great 👍

Copy link
Contributor

@dpetran dpetran left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

🎊

@bplatz bplatz mentioned this pull request Jul 24, 2024
@zonotope zonotope merged commit a24f589 into main Jul 24, 2024
@zonotope zonotope deleted the feature/user-config branch July 24, 2024 21:41
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

Successfully merging this pull request may close these issues.

2 participants