From 4d12a9b230e97c30a1e469037f12be4fdd0a6f89 Mon Sep 17 00:00:00 2001
From: Charlotte Van Petegem <charlotte@vanpetegem.me>
Date: Sun, 3 Jul 2022 15:39:22 +0200
Subject: [PATCH] Remove kotline-language-server, it's in nixpkgs

---
 packages/kotlin-language-server/default.nix | 19 -------------------
 1 file changed, 19 deletions(-)
 delete mode 100644 packages/kotlin-language-server/default.nix

diff --git a/packages/kotlin-language-server/default.nix b/packages/kotlin-language-server/default.nix
deleted file mode 100644
index e76997bd..00000000
--- a/packages/kotlin-language-server/default.nix
+++ /dev/null
@@ -1,19 +0,0 @@
-{ lib, stdenv, fetchzip, jdk17, makeWrapper, ... }:
-
-stdenv.mkDerivation rec {
-  pname = "kotlin-language-server";
-  version = "1.3.1";
-  src = fetchzip {
-    url = "https://github.com/fwcd/${pname}/releases/download/${version}/server.zip";
-    sha256 = "FxpNA4OGSgFdILl0yKBDTtVdQl6Bw9tm2eURbsJdZzI=";
-  };
-
-  nativeBuildInputs = [ makeWrapper ];
-
-  installPhase = ''
-    mkdir -p $out
-    cp -r $src/* $out/
-    chmod -R u=rwX $out
-    wrapProgram $out/bin/kotlin-language-server --set JAVA_HOME ${jdk17}
-  '';
-}