Kristian/home-manager
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

added java development tools

Browse Source
This commit is contained in:
Kristian Krsnik 2024-01-08 23:33:47 +01:00
parent fae62232cc
commit e1f9112222
Signed by: Kristian
GPG Key ID: FD1330AC9F909E85
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
systems/common/vscode.nix
View File

@ -35,6 +35,7 @@
slevesque.shader slevesque.shader
ms-vscode.cpptools ms-vscode.cpptools
nvarner.typst-lsp nvarner.typst-lsp
redhat.java
streetsidesoftware.code-spell-checker streetsidesoftware.code-spell-checker
streetsidesoftware.code-spell-checker-german streetsidesoftware.code-spell-checker-german
@ -140,6 +141,9 @@
scminput = false; scminput = false;
cpp = false; cpp = false;
}; };
"redhat.telemetry.enabled" = false;
"java.jdt.ls.java.home" = "${pkgs.jdk21_headless}";
}; };
}; };
} }