jdt-ls is hard to use

This commit is contained in:
Charlotte Van Petegem 2023-02-15 11:37:32 +01:00
parent b69c522501
commit 4b19792987
No known key found for this signature in database
GPG key ID: 019E764B7184435A

View file

@ -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"
'';
}
];
}