pub-solar/infra
7
1
Fork 3
Code Issues 16 Pull requests 10 Actions Packages Projects 1 Releases Wiki Activity

docs: update link to git repo #67

Merged
teutat3s merged 2 commits from docs/update-link into main 2023-12-01 18:03:56 +00:00
Conversation 0 Commits 2 Files changed 2 +9 -2
1 changed files with 9 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files
Showing only changes of commit 5f7e8108c2 - Show all commits

11
docs/development-shell.md
View file

@ -3,9 +3,16 @@
Clone this repository:
```
git clone https://git.pub.solar/pub-solar/infra-new.git
git clone https://git.pub.solar/pub-solar/infra.git
cd infra
```
then, install [the package manager nix](https://nixos.org/download).
Finally, run `nix develop` in this repo. This will install a development shell that has all required tooling available.
Finally, run:
```
nix develop
```
This will install a development shell (devshell) with all required tools.