Update shellToReplInfo

codedownio · Sep 13, 2023 · 6086b68 · 6086b68
1 parent 349a5c0
commit 6086b68
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/codedown/mkCodeDownEnvironment.nix b/codedown/mkCodeDownEnvironment.nix
@@ -32,7 +32,7 @@ let
   shellToReplInfo = shell: {
     name = shell.contents.name;
     display_name = shell.contents.displayName;
-    executable_name = shell.contents.executableName;
+    attr = shell.contents.attr;
     args = ["${shell.contents}/lib/codedown/shell"];
     icon = shell.contents.icon;
   };