Contents of lean4 nix shell

Stream: lean4

[Siddharth Bhat]

What does

nix-shell https://github.com/leanprover/lean4/archive/master.tar.gz -A nix

actually pull in? It seems to be necessary for the later nix build to pull nightlies from the nix cache.

I'm learning nix, so I'd like to get a handle on what this lean-nix-shell does as I nixify my Lean repos.

[Sebastian Ullrich]

Start at shell.nix and follow the trail :) . The configuration of the inner nix is here: https://github.com/leanprover/lean4/blob/3da76efa10374843f6c7072b040646f5ccf363d2/nix/packages.nix#L5. The substituter could nowadays be configured in the flake's nixConfig attribute instead.