add item in README.md about updateNixToolBox

coq-community / coq-nix-toolbox

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

MIT License

32 stars 9 forks source link

Closed palmskog closed 8 months ago

palmskog commented 8 months ago

There is currently no mention of the important updateNixToolBox command in the README, here is an attempt at introducing this.

palmskog commented 8 months ago

@CohenCyril should updateNixToolBox perhaps be listed under "Available shell hooks" as well? Is that what it is?