Merge pull request #218842 from bhankas/master

jdt-language-server: 1.19.0 -> 1.20.0
This commit is contained in:
Weijia Wang 2023-03-16 17:23:17 +02:00 committed by GitHub
commit 97be145839
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -7,12 +7,12 @@
stdenv.mkDerivation rec {
pname = "jdt-language-server";
version = "1.19.0";
timestamp = "202301171536";
version = "1.20.0";
timestamp = "202302201605";
src = fetchurl {
url = "https://download.eclipse.org/jdtls/milestones/${version}/jdt-language-server-${version}-${timestamp}.tar.gz";
sha256 = "sha256-9rreuMw2pODzOVX5PBmUZoV5ixUDilQyTsrnyCQ+IHs=";
sha256 = "sha256-5izNGPZ3jXtJEPWIFzrwZsNi8esxh4PUn7xIWp4TV2U=";
};
sourceRoot = ".";
@ -30,7 +30,7 @@ stdenv.mkDerivation rec {
# The application ships with config directories for linux and mac
configDir = if stdenv.isDarwin then "config_mac" else "config_linux";
in
''
''
# Copy jars
install -D -t $out/share/java/plugins/ plugins/*.jar