安装:

https://kotlinlang.org/docs/command-line.html

skdman install

https://sdkman.io/install

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

source "$HOME/.sdkman/bin/sdkman-init.sh"

sdk version

 

 

sdk install kotlin

 

 如果连接失败，再尝试一下就可以了。