Add path to repository in environment

This commit is contained in:
Rodrigo Arias 2025-01-24 17:14:57 +01:00
parent 070b96598a
commit 46077e67f5

View File

@ -118,6 +118,7 @@
in syspkgs.mkShell rec {
pname = "lagarto-ox-shell";
COMMIT = if self ? rev then self.rev else "dirty";
REPO = self;
TOPLEVEL = build.toplevel;
OPENSBI = syspkgs.opensbi;
KERNEL = build.kernel;
@ -132,6 +133,7 @@
shellHook = ''
echo "Here are the current system pieces:"
echo " COMMIT = $COMMIT"
echo " REPO = $REPO"
echo " TOPLEVEL = $TOPLEVEL"
echo " KERNEL = $KERNEL"
echo " OPENSBI = $OPENSBI"