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

define the terms "realise" and "valid" for store paths #7490

Merged
merged 1 commit into from
Jan 20, 2023

Conversation

fricklerhandwerk
Copy link
Contributor

depends on #7485

@fricklerhandwerk fricklerhandwerk changed the title define "realise" and "valid" store paths define the terms "realise" and "valid" for store paths Dec 21, 2022
@nixos-discourse
Copy link

This pull request has been mentioned on NixOS Discourse. There might be relevant details there:

https://discourse.nixos.org/t/tweag-nix-dev-update-42/24204/1

@dpulls
Copy link

dpulls bot commented Jan 2, 2023

🎉 All dependencies have been resolved !

@fricklerhandwerk
Copy link
Contributor Author

Discussed in Nix team meeting 2023-01-02:

@nixos-discourse
Copy link

This pull request has been mentioned on NixOS Discourse. There might be relevant details there:

https://discourse.nixos.org/t/2023-01-02-nix-team-meeting-minutes-20/24403/1

add links to the glossary definition where the terms are used
@fricklerhandwerk
Copy link
Contributor Author

@thufschmitt updated according to team review, feel free to merge.

@fricklerhandwerk fricklerhandwerk changed the title define the terms "realise" and "valid" for store paths add "instantiate" to glossary" Jan 19, 2023
@fricklerhandwerk fricklerhandwerk changed the title add "instantiate" to glossary" define the terms "realise" and "valid" for store paths Jan 19, 2023
@thufschmitt thufschmitt merged commit fdc02d2 into NixOS:master Jan 20, 2023
@nixos-discourse
Copy link

This pull request has been mentioned on NixOS Discourse. There might be relevant details there:

https://discourse.nixos.org/t/nix-team-report-2022-10-2023-03/27486/1

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

Successfully merging this pull request may close these issues.

3 participants