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

Pin nixos-anywhere, fix README #9

Merged
merged 1 commit into from
Nov 6, 2023
Merged

Pin nixos-anywhere, fix README #9

merged 1 commit into from
Nov 6, 2023

Conversation

henrirosten
Copy link
Collaborator

@henrirosten henrirosten commented Nov 6, 2023

- Pin nixos-anywhere to prevent possible issues caused by upstream PR:
  nix-community/nixos-anywhere#243.
  Read more from the below nixpkgs issue:
  NixOS/nixpkgs#265014.
- Fix the task.py usage instructions in README.md after
  #8.
- Make `nix flake check` pre-push check less verbose.

Signed-off-by: Henri Rosten <henri.rosten@unikie.com>
@henrirosten henrirosten marked this pull request as ready for review November 6, 2023 11:08
@henrirosten henrirosten requested review from a team and joinemm November 6, 2023 11:08
@cazfi
Copy link
Collaborator

cazfi commented Nov 6, 2023

Usually changes unrelated to each other should not go to the same commit (they can be in the same PR), but I'm not requesting splitting this commit now that it would take some effort. Just a note for the future.

@henrirosten
Copy link
Collaborator Author

henrirosten commented Nov 6, 2023

Usually changes unrelated to each other should not go to the same commit (they can be in the same PR), but I'm not requesting splitting this commit now that it would take some effort. Just a note for the future.

I agree, but we are still far from production (or using this tooling anywhere for that matter), so I think it's fine for now until we declare it's not :)

@henrirosten henrirosten merged commit 766b4fb into main Nov 6, 2023
1 check passed
@henrirosten henrirosten deleted the pin-nixos-anywhere branch November 7, 2023 06:18
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.

3 participants