Addition to the flake template

Stream: lean4

[Sam Stites]

Hi! I am just checking lean out and noticed that the (global) nix configuration isn't added to the flake template as a local change. I like to keep project substituters local so that nixos doesn't check project caches for every package in my nixos config. It turns out you can also temporarily turn on all the other options listed.

Not sure who to ping, but would the lean4 developers be open to the following PR? I just c/p'd the getting started code block. I also noticed that unexpected pull requests (like this one) should be asked for on Zulip.
https://github.com/leanprover/lean4/compare/master...stites:lean4:patch-1

Could people point me in the direction of the right folks to ping for this?

[Henrik Böving]

@Sebastian Ullrich is the master of the nix

[Sebastian Ullrich]

I considered this for the main flake before, but I find the informational message on every single build pretty annoying. Not sure what to do about that.

[Sebastian Ullrich]

Sam Stites said:

I like to keep project substituters local so that nixos doesn't check project caches for every package in my nixos config.

Note that this is done by substituters, not trusted-substituters