devshells: improve select-shell

2024-08-31 17:59:54 +02:00
parent 9d9d40a7f2
commit 9061c3f6aa
2 changed files with 66 additions and 26 deletions
--- a/devShell.nix
+++ b/devShell.nix
@@ -38,7 +38,7 @@
        ];
        shellHook = ''
          echo -e "${ansiEscapes.green}switch to another dev-shell using: select-shell${ansiEscapes.reset}"
-          export PROJECT_ROOT=$(git rev-parse --show-toplevel)
+          export PRJ_ROOT=$(git rev-parse --show-toplevel)
        '';
      };
    };