SDKMan https://sdkman.io/

安装好这个工具之后,可以方便地安装各类工具。

文档更新时间: 2019-10-30 14:37   作者:nick