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.

Sign up for GitHub

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

Jump to bottom

#81 Adjust load ordering of profiles (take2) #84

Merged
merged 1 commit into from
Jul 11, 2023
Merged

#81 Adjust load ordering of profiles (take2) #84

merged 1 commit into from
Jul 11, 2023

Commits on Jul 11, 2023

  1. #81 Adjust load ordering of profiles (take2) 

    This change ensures that for any additional profiles defined in loadMain() the RESOURCE is loaded.

- Keeps a track of the profile resources loaded
- Ensures for any additional profiles defined via loadMain() that those RESOURCE are also loaded

Background:
Config generally loads RESOURCE source first, and FILE source later. This allows the FILE source properties to override the RESOURCE source properties in a predictable manner.
    @rbygrave
    rbygrave committed Jul 11, 2023
    Configuration menu
    Copy the full SHA
    64adddd View commit details
    Browse the repository at this point in the history