From 77a734eb81b43b085059e0289fc93648a41b0dfd Mon Sep 17 00:00:00 2001
From: Yuto Nishida <yuto@berkeley.edu>
Date: Sun, 3 May 2026 17:52:29 -0700
Subject: [PATCH] [milky-way] Set JSONNET_PATH in devenv

---
 flake-profiles/milky-way-devenv/flake.nix | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/flake-profiles/milky-way-devenv/flake.nix b/flake-profiles/milky-way-devenv/flake.nix
index b8006d8..2ddc78e 100644
--- a/flake-profiles/milky-way-devenv/flake.nix
+++ b/flake-profiles/milky-way-devenv/flake.nix
@@ -30,7 +30,10 @@
             default = devenv.lib.mkShell {
               inherit inputs pkgs;
               modules = [
-                {
+                ({ pkgs, config, ...} : {
+                  # Jsonnet imports can be made relative to the DEVENV_ROOT.
+                  env.JSONNET_PATH = config.env.DEVENV_ROOT;
+
                   # https://devenv.sh/reference/options/
                   packages = [ 
                     pkgs.hello
@@ -50,7 +53,7 @@
                   processes.hello.exec = "hello";
 
                   languages.jsonnet.enable = true;
-                }
+                })
               ];
             };
           });
-- 
2.51.2