diff options
Diffstat (limited to 'metals-client.sh')
-rwxr-xr-x | metals-client.sh | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/metals-client.sh b/metals-client.sh index 7dc9ee7cdb4a..594fbd5080ef 100755 --- a/metals-client.sh +++ b/metals-client.sh @@ -3,13 +3,13 @@ set -e declare -r _INSTALL_DIR='/usr/share/java/metals' -declare _CP="${_INSTALL_DIR}/lib:${_INSTALL_DIR}/metals" +declare _CP="$_INSTALL_DIR/lib:$_INSTALL_DIR/metals" function build_cp { - for name in $(find ${_INSTALL_DIR}/jars -regex '.*\.jar') + while read -r name do - _CP="${name}:${_CP}" - done + _CP="$name:$_CP" + done <<< "$(find "$_INSTALL_DIR"/jars -regex '.*\.jar')" } function main { @@ -17,7 +17,7 @@ function main { # Java options taken from metals-emacs documentation # https://scalameta.org/metals/docs/editors/emacs.HTML - java -XX:+UseG1GC -XX:+UseStringDeduplication -Xss4m -Xms100m -Dmetals.client="${_METALS_CLIENT}" -cp "$_CP" scala.meta.metals.Main $@ + java -XX:+UseG1GC -XX:+UseStringDeduplication -Xss4m -Xms100m -Dmetals.client="$_METALS_CLIENT" -cp "$_CP" scala.meta.metals.Main "$@" } -main $@ +main "$@" |