2023年12月版 Scalaの導入方法

プロキシ環境では次の設定を追加。

.bashrc or .zshrc

export proxy=http://ユーザ名:パスワード@サーバ名:ポート番号
export http_proxy=$proxy
export https_proxy=$proxy
export HTTP_PROXY=$proxy
export HTTPS_PROXY=$proxy
export no_proxy=localhost,127.0.0.1,10.0.0.0/8,172.16.0.0/12,192.168.0.0/16

Mavenのローカルミラー（プロキシ）環境では次の設定を追加。

.sbt/repositories

[repositories]
  local
  maven-proxy: http://Mavenのプロキシサーバ名

SDKMANを導入。

curl -s "https://get.sdkman.io" | bash

SDKMANでJavaを導入。

sdk install java 20.0.1-tem

SDKMANでsbtを導入。

sdk install sbt 1.9.6

SDKMANでScalaを導入。

sdk install scala 3.3.1