From a571864b8b159138060f571967421aab3f9efb67 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Thu, 16 Feb 2023 13:20:34 +0100
Subject: [PATCH] jdtls workspace can't be beneath the project directory, for
 some unknowable reason

---
 shells/objectgericht-project.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/shells/objectgericht-project.nix b/shells/objectgericht-project.nix
index 83f1e525..5fd39a40 100644
--- a/shells/objectgericht-project.nix
+++ b/shells/objectgericht-project.nix
@@ -9,7 +9,7 @@
       category = "development";
       help = "Start jdt-language-server with configured workspace location";
       command = ''
-        ${pkgs.jdt-language-server}/bin/jdt-language-server -data "$PRJ_DATA_DIR/workspace"
+        ${pkgs.jdt-language-server}/bin/jdt-language-server -data "$HOME/.cache/jdtls/$PRJ_ROOT"
       '';
     }
     {