Skip to content

Settings Override & Reload #25

@MankowskiNick

Description

@MankowskiNick

Provide a system for overriding settings in git. Settings.json is currently tracked in source, and I think that it should be. However, there should be a way to override some of these settings locally. This should obviously not be tracked by git.

Ideally, the settings override should not require a whole new settings.local.jsonthat is 1-1 with the already existing settings.json. What I mean by this is that there should be a hierarchy of settings:

  1. Local settings should override git settings.
  2. Git settings should override default settings.
  3. Default settings are directly hardcoded in settings.c.

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions