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

Published 20 hours ago • verified publisher icon coq-community

generateNixDefault and initNixConfig output

Open Zimmi48 opened this issue 4 years ago • 0 comments

We could consider having generateNixDefault print in the console that the next step is to run nix-shell --run "initNixConfig YOURPACKAGENAME" when the config.yml file does not exist yet.

And initNixConfig could say that it generated config.yml and suggest going there and editing it.

And both commands could list the generated files and remind to check them in git.

Zimmi48 avatar Mar 25 '21 15:03 Zimmi48