why `.nix/` rather than `nix/`?

coq-community / coq-nix-toolbox

Nix helper scripts to automate local builds and CI [maintainers=@CohenCyril,@Zimmi48]

MIT License

32 stars 10 forks source link

why `.nix/` rather than `nix/`? #82

Open quinn-dougherty opened 2 years ago

quinn-dougherty commented 2 years ago

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 commented 2 years ago

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

Zimmi48 commented 2 years ago

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.