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

feat: make the use of Nix hermetic #1061

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

fzakaria
Copy link
Collaborator

The use of Nix before used which is not hermetic.

Please see https://nix.dev/tutorials/towards-reproducibility-pinning-nixpkgs

  • moved default.nix to shell.nix to better describe intent
  • added sources.json to pin nixpkgs
  • added more documentation
  • added direnv integration

The use of Nix before used <nixpkgs> which is not hermetic.
https://nix.dev/tutorials/towards-reproducibility-pinning-nixpkgs
* moved default.nix to shell.nix to better describe intent
* added sources.json to pin nixpkgs
* added more documentation
* added direnv integration
@@ -0,0 +1,194 @@
# This file has been generated by Niv.
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This file is auto generated by https://github.com/nmattia/niv

@@ -0,0 +1,20 @@
let
Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If you'd like to use nix build itself -- I can help there.
Useful if you want others to install via Nix.

Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

/gcbrun

@lloydtabb
Copy link
Collaborator

/gcbrun

Copy link
Collaborator

@lloydtabb lloydtabb left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

These look good to me. @bporterfield @whscullin ?

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.

2 participants