Package Details: kotlin-language-server 1.3.7-1

Git Clone URL: (read-only, click to copy)
Package Base: kotlin-language-server
Description: Smart code completion, diagnostics and more for Kotlin using the Language Server Protocol
Upstream URL:
Keywords: java jvm kotlin language server
Licenses: MIT
Conflicts: kotlin-language-server-git
Provides: kotlin-language-server
Submitter: GrimKriegor
Maintainer: GrimKriegor
Last Packager: GrimKriegor
Votes: 11
Popularity: 0.153252
First Submitted: 2019-05-17 19:57 (UTC)
Last Updated: 2023-11-15 22:21 (UTC)

Dependencies (2)

Required by (0)

Sources (1)

Latest Comments

1 2 Next › Last »

fwcd commented on 2023-11-11 22:40 (UTC)

The upstream URL could be updated to (same goes for the kotlin-language-server-git package).

wojtekSowinski commented on 2022-12-10 12:09 (UTC)

The package doesn't install if you have the latest version of jdk (19) installed. Java 19 is not yet supported by upstream. I suggest changing build() so that, if jdk19 is installed, JAVA_HOME is set to an earlier version.

GrimKriegor commented on 2022-09-30 20:20 (UTC)

Thank you for the feedback, everyone!

xeruf commented on 2022-09-22 08:29 (UTC) (edited on 2022-09-22 08:49 (UTC) by xeruf)

Little amendment: need to change it to -name "*-1*jdk" to not catch openjfx ;)

btw I'd be open to co-maintain

xeruf commented on 2021-12-02 14:28 (UTC)

I agree, the default jvm version should first be checked from java -version 2>&1 | grep version | cut -d'"' -f2

lyhokia commented on 2021-11-16 12:37 (UTC)

This will not work if you install a newer version of JDK, but use the old one as default, I guess we'd better change the code to find JVM to

    jdk="/usr/lib/jvm/default" &&
      test -n "$jdk" && export JAVA_HOME="$jdk"

xeruf commented on 2021-08-10 12:20 (UTC) (edited on 2021-08-10 12:26 (UTC) by xeruf)


pkgdesc="Smart code completion, diagnostics and more for Kotlin using the Language Server Protocol"

build() {
  jdk="$(find /usr/lib/jvm -maxdepth 1 -name "*1*" | head -1)" &&
    test -n "$jdk" && export JAVA_HOME="$jdk"
  cd "${srcdir}/${pkgname}-${pkgver}"
  ./gradlew server:installDist

package() {
  mkdir -p \
    "${pkgdir}/usr/share/kotlin" \
  cp -r \
    "${srcdir}/${pkgname}-${pkgver}/server/build/install/server/" \
  ln -srf \
    "${pkgdir}/usr/share/kotlin/kotlin-language-server/bin/kotlin-language-server" \

poly000 commented on 2021-08-10 04:13 (UTC)

@lightsaber: 1.1.2 will compiles.

lightsaber commented on 2021-07-27 18:29 (UTC)

I got this error:

Exception in thread "main" java.lang.RuntimeException: Could not create parent directory for lock file /.gradle/wrapper/dists/gradle-6.8.1-bin/292llow5buzp6wg9rco3vjhoc/
    at org.gradle.wrapper.ExclusiveFileAccessManager.access(
    at org.gradle.wrapper.Install.createDist(
    at org.gradle.wrapper.WrapperExecutor.execute(
    at org.gradle.wrapper.GradleWrapperMain.main(

Diaoul commented on 2021-06-17 14:11 (UTC)

Package does not install: ERROR: JAVA_HOME is set to an invalid directory: /usr/lib/jvm/java-15-openjdk I suggest changing the export JAVA_HOME to the default /usr/lib/jvm/default in PKGBUILD.