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

Make profile element names stable #9656

Merged
merged 6 commits into from
Jan 12, 2024

Commits on Dec 22, 2023

  1. nix profile: Remove indices

    edolstra committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    3187bc9 View commit details
    Browse the repository at this point in the history
  2. nix profile: Make profile element names stable

    The profile manifest is now an object keyed on the name returned by
    getNameFromURL() at installation time, instead of an array. This
    ensures that the names of profile elements don't change when other
    elements are added/removed.
    edolstra committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    6268a45 View commit details
    Browse the repository at this point in the history
  3. nix profile: Remove check for "name" attribute in manifests

    AFAIK, we've never emitted this attribute.
    edolstra committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    a748e88 View commit details
    Browse the repository at this point in the history

Commits on Jan 12, 2024

  1. Configuration menu
    Copy the full SHA
    e21b3cf View commit details
    Browse the repository at this point in the history
  2. Update release notes

    edolstra committed Jan 12, 2024
    Configuration menu
    Copy the full SHA
    8c7e2ed View commit details
    Browse the repository at this point in the history
  3. Add profile migration test

    edolstra committed Jan 12, 2024
    1 Configuration menu
    Copy the full SHA
    72560f7 View commit details
    Browse the repository at this point in the history