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

why .nix/ rather than nix/? #82

Open
quinn-dougherty opened this issue Nov 5, 2021 · 2 comments
Open

why .nix/ rather than nix/? #82

quinn-dougherty opened this issue Nov 5, 2021 · 2 comments

Comments

@quinn-dougherty
Copy link

Minor thing, every repo I read that has more than one .nix file in the haskell ecosystem makes the nix dir nix/.

Can we maybe pass in NIXDIR argument to generateNixDefault?
@CohenCyril
Copy link
Collaborator

I am not opposed, feel free to add this feature in a PR.

@Zimmi48
Copy link
Member

Zimmi48 commented Nov 5, 2021

I'm also interested by this idea because in the Coq repo we already have a dev/nix folder and this would avoid adding a new directory at the root when switching to the Coq Nix Toolbox.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
3 participants
@CohenCyril @Zimmi48 @quinn-dougherty