From 58eec298d43853574cc9070b3eca6e671c8722b1 Mon Sep 17 00:00:00 2001 From: Infinidoge Date: Tue, 8 Aug 2023 22:52:28 -0400 Subject: [PATCH] shell: set devshell name --- shell/default.nix | 2 ++ 1 file changed, 2 insertions(+) diff --git a/shell/default.nix b/shell/default.nix index e03d3e4..c4efe07 100644 --- a/shell/default.nix +++ b/shell/default.nix @@ -9,6 +9,8 @@ ])); in { + name = "universe"; + devshell.packages = [ pythonEnv ];