From 4b197929873f0d37428fc3c58832da47ed0fb1fb Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte.vanpetegem@ugent.be>
Date: Wed, 15 Feb 2023 11:37:32 +0100
Subject: [PATCH] jdt-ls is hard to use

---
 shells/objectgericht-project.nix | 14 +++++++++++++-
 1 file changed, 13 insertions(+), 1 deletion(-)

diff --git a/shells/objectgericht-project.nix b/shells/objectgericht-project.nix
index e5097c1b..a1889f9d 100644
--- a/shells/objectgericht-project.nix
+++ b/shells/objectgericht-project.nix
@@ -1,4 +1,16 @@
 { pkgs, ... }: pkgs.devshell.mkShell {
   name = "Objectgericht programmeren project";
-  packages = with pkgs; [ openssl maven openjdk17 jdt-language-server ];
+  packages = with pkgs; [
+    openssl maven openjdk17
+  ];
+  commands = [
+    {
+      name = "jdtls";
+      category = "language server";
+      help = "Start jdt-language-server with configured workspace location";
+      command = ''
+        ${pkgs.jdt-language-server}/bin/jdt-language-server -data "$PRJ_DATA_DIR/workspace"
+      '';
+    }
+  ];
 }