From 8541e42de6bfb64be5939b71df5272f99aadbe60 Mon Sep 17 00:00:00 2001 From: yuilib Date: Wed, 20 Apr 2022 19:24:47 +0900 Subject: [PATCH] Update metals: 0.11.2 --- installer/install-metals.cmd | 2 +- installer/install-metals.sh | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/installer/install-metals.cmd b/installer/install-metals.cmd index d0f5b6d..df9e4f4 100644 --- a/installer/install-metals.cmd +++ b/installer/install-metals.cmd @@ -5,7 +5,7 @@ setlocal curl -Lo coursier https://git.io/coursier-cli curl -Lo coursier.bat https://git.io/coursier-bat -set VERSION=0.10.9 +set VERSION=0.11.2 set JAVA_FLAGS= if "%HTTPS_PROXY%" neq "" ( set JAVA_FLAGS=-Dhttps.proxyHost=%HTTPS_PROXY% diff --git a/installer/install-metals.sh b/installer/install-metals.sh index fad4952..c931df3 100755 --- a/installer/install-metals.sh +++ b/installer/install-metals.sh @@ -5,7 +5,7 @@ set -e curl -Lo ./coursier https://git.io/coursier-cli chmod +x ./coursier -version="0.10.9" +version="0.11.2" java_flags=() if [[ -n "${https_proxy}" ]]; then