infra/docs/development-shell.md

Getting a development shell

Clone this repository:

git clone gitea@git.pub.solar:pub-solar/infra.git

then, install the package manager nix.

Finally, run nix develop in this repo. This will install a development shell that has all required tooling available.