diff --git a/flake.nix b/flake.nix index c1ede80..f549cf1 100644 --- a/flake.nix +++ b/flake.nix @@ -87,6 +87,15 @@ INITRD = build.initialRamdisk; ROOTFS = build.sdImage; UBOOT_ENV = syspkgs.uboot-env; + shellHook = '' + echo "Here are the current system pieces:" + echo " TOPLEVEL = $TOPLEVEL" + echo " KERNEL = $KERNEL" + echo " OPENSBI = $OPENSBI" + echo " INITRD = $INITRD" + echo " ROOTFS = $ROOTFS" + echo " UBOOT_ENV = $UBOOT_ENV" + ''; }; }; }