coq-nix-toolbox icon indicating copy to clipboard operation
coq-nix-toolbox copied to clipboard

Published 20 hours ago • verified publisher icon coq-community

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

Open quinn-dougherty opened this issue 4 years ago • 2 comments

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?

quinn-dougherty avatar Nov 05 '21 14:11 quinn-dougherty

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

CohenCyril avatar Nov 05 '21 14:11 CohenCyril

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.

Zimmi48 avatar Nov 05 '21 17:11 Zimmi48