Package Details: kotlin-language-server 1.3.1-2

Git Clone URL: https://aur.archlinux.org/kotlin-language-server.git (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: https://github.com/fwcd/KotlinLanguageServer
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: 7
Popularity: 0.000208
First Submitted: 2019-05-17 19:57 (UTC)
Last Updated: 2022-11-25 18:56 (UTC)

Dependencies (2)

Required by (0)

Sources (1)

Latest Comments

1 2 Next › Last »

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)

Updated PKGBUILD:

pkgname=kotlin-language-server
pkgver=1.1.2
pkgrel=2
pkgdesc="Smart code completion, diagnostics and more for Kotlin using the Language Server Protocol"
arch=(any)
url="https://github.com/fwcd/kotlin-language-server"
license=('MIT')
conflicts=('kotlin-language-server-git')
provides=('kotlin-language-server')
depends=('java-runtime>=11')
makedepends=('java-environment>=11')
source=("${url}/archive/${pkgver}.tar.gz")
sha256sums=('82d2a1c15d1384ff9fbafef43c54ffe91a17587310980ffb760c4d1ce608f991')

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" \
    "${pkgdir}/usr/bin"
  cp -r \
    "${srcdir}/${pkgname}-${pkgver}/server/build/install/server/" \
    "${pkgdir}/usr/share/kotlin/kotlin-language-server"
  ln -srf \
    "${pkgdir}/usr/share/kotlin/kotlin-language-server/bin/kotlin-language-server" \
    "${pkgdir}/usr/bin/kotlin-language-server"
}

pedajilao 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/gradle-6.8.1-bin.zip.lck
    at org.gradle.wrapper.ExclusiveFileAccessManager.access(ExclusiveFileAccessManager.java:43)
    at org.gradle.wrapper.Install.createDist(Install.java:48)
    at org.gradle.wrapper.WrapperExecutor.execute(WrapperExecutor.java:107)
    at org.gradle.wrapper.GradleWrapperMain.main(GradleWrapperMain.java:63)

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.

RX14 commented on 2021-01-12 19:42 (UTC)

Is this really java-runtime=14 or java-runtime>14? This breaks upgrading since jre-openjdk is now provides java-runtime 15

GrimKriegor commented on 2019-06-03 18:55 (UTC)

@tsp, thank you very much for the suggestion.

Those changes have been implemented in the latest commit.