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

Published 20 hours ago • verified publisher icon coq-community

Pass the arguments of the containing nix-shell to nix-build

Open CohenCyril opened this issue 4 years ago • 0 comments

https://github.com/coq-community/coq-nix-toolbox/blob/ab43447ff01c2ccf712f14aca5b99d14e5735440/.nix/shellHook.sh#L154

One way to do it is to pass only the selection, via task cf #7

CohenCyril avatar Mar 15 '21 15:03 CohenCyril