diff options
author | David Strawn | 2020-12-23 09:29:00 -0700 |
---|---|---|
committer | David Strawn | 2020-12-23 09:29:00 -0700 |
commit | caee8226b714e9da77ca8f957a5fc98604c22580 (patch) | |
tree | 2868d816375ce347988108016b8bef02541672a9 | |
parent | 298b5d23f2dc0ffa670bfde74dff564b158d2456 (diff) | |
download | aur-caee8226b714e9da77ca8f957a5fc98604c22580.tar.gz |
Update Example To Use Current Arch JDK
-rw-r--r-- | metals.install | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/metals.install b/metals.install index 6351e58f1144..9f36c8cf8b72 100644 --- a/metals.install +++ b/metals.install @@ -7,9 +7,9 @@ is supported by metals and installed on your system. If you would like to use a different JDK set the METALS_JDK_PATH to the /bin directory for the JDK install. -For example, if you wanted to use JDK 13 (not currently supported by +For example, if you wanted to use JDK 14 (not currently supported by metals) then you would set -METALS_JDK_PATH="/usr/lib/jvm/java-13-openjdk/bin" in the environment. +METALS_JDK_PATH="/usr/lib/jvm/java-14-openjdk/bin" in the environment. As of 0.9.0-4 the default jvm options used to run metals have changed. They are now "-XX:MaxHeapFreeRatio=20 -XX:MinHeapFreeRatio=5" |