From 5f7e8108c26e2d850df0a32f4deb7cf92c4ec1a1 Mon Sep 17 00:00:00 2001
From: teutat3s <teutates@mailbox.org>
Date: Sat, 18 Nov 2023 23:17:05 +0100
Subject: [PATCH] docs: update devshell docs with new link

---
 docs/development-shell.md | 11 +++++++++--
 1 file changed, 9 insertions(+), 2 deletions(-)

diff --git a/docs/development-shell.md b/docs/development-shell.md
index 5628d57..2b7d6c6 100644
--- a/docs/development-shell.md
+++ b/docs/development-shell.md
@@ -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.