jdk版本管理利器-sdkman

news/2024/9/22 13:06:52/

1.什么是sdkman>sdkman?

sdkman>sdkman是一个轻量级、支持多平台的开源开发工具管理器,可以通过它安装任意主流发行版本(例如OpenJDKKonaGraalVM等等)的任意版本的JDK。通过下面的命令可以轻易安装sdkman>sdkman:

2.安装

curl -s "https://get.sdkman>sdkman.io" | bash 
source "$HOME/.sdkman>sdkman/bin/sdkman>sdkman-init.sh"

当前版本

(base) liuhaihua@bogon ~ % sdk version
SDKMAN!
script: 5.18.2
native: 0.4.6

3.下载sdk

可以通过sdk list java查看支持的JDK发行版本:

11

通过shell命令sdk install java $Identifier就可以安装对应的JDK发行版。例如可以这样安装GraalVM-ce-17:

sdk install java 17.0.12-graal 

通过shell命令sdk uninstall java $Identifier可以卸载对应的JDK发行版。

sdk uninstall java 17.0.12-graal

4.替换默认的sdk

如果安装了多个版本或者多个发行版的JDK,可以通过shell命令sdk default java $Identifier去指定默认使用的JDK版本,例如:

sdk default java 17.0.12-graal

可以通过shell命令sdk current或者sdk current java查看当前正在使用的SDK或者JDK版本。

sdk current java

http://www.ppmy.cn/news/1504167.html

相关文章

初识godot游戏引擎并安装

简介 Godot是一款自由开源、由社区驱动的2D和3D游戏引擎。游戏开发虽复杂,却蕴含一定的通用规律,正是为了简化这些通用化的工作,游戏引擎应运而生。Godot引擎作为一款功能丰富的跨平台游戏引擎,通过统一的界面支持创建2D和3D游戏。…

字符专用输入输出函数 getchar() putchar()

文章目录 一、字符专用接收函数1.1 scanf实现字符接收1.2 字符专用接收函数getchar1.3 练习1.4 利用循环使字符接收函数接收字符串的元素 二、字符专用输出函数2.1 printf实现打印字符2.2 字符专用输出函数putchar 提示:以下是本篇文章正文内容,下面案例…

正点原子imx6ull-mini-Linux驱动之platform设备驱动实验(14)

我们在前面几章编写的设备驱动都非常的简单,都是对IO进行最简单的读写操作像I2C、 SPI、LCD 等这些复杂外设的驱动就不能这么去写了,Linux 系统要考虑到驱动的可重用性,因此提出了驱动的分离与分层这样的软件思路,在这个思路下诞生…

python 去除验证码图片噪音

在处理验证码图片时,出现噪音,如横线、像素点等问题往往会影响识别率,这里给出一个去除噪音的方法,仅供学习。 import cv2 import os import numpy as np import copydef del_noise(img, number):height img.shape[0]width img…

torch的register_forward_hook作用

torch的register_forward_hook作用 register_forward_hook 是 PyTorch 提供的一个方法,用于在模型的前向传播过程中注册一个钩子函数。这个钩子函数可以在前向传播过程中对指定层的输入和输出进行操作或记录。它常用于调试、特征提取或修改模型行为。 以下是 regi…

【CSDN平台BUG】markdown图片链接格式被手机端编辑器自动破坏

bug以及解决方法 现在是2024年8月,我打开csdn手机编辑器打算修改一下2023年12月的一篇文章,结果一进入编辑器,源码就变成了下面这个样子,我起初不以为意,就点击了发布,结果图片全部显示不出来了。 而当我修…

一文带你掌握C++模版

12. C模板 什么是模板 模板编程也可以叫做泛型编程,忽略数据类型的一种编程方式 //求最值问题 int Max(int a,int b) {return a>b?a:b; } double Max(int a,int b) {return a>b?a:b; } string Max(string a,string b) {return a>b?a:b; …

【Axure教程】拖拉拽编辑页面

低代码开发平台通常提供拖拉拽编辑页面的功能,使用户无需编写大量代码即可创建复杂的应用程序和页面。这种平台的特点是通过图形用户界面来进行开发,用户可以拖拽组件到画布上进行布局和配置。 那今天作者就教大家在Axure里怎么制作拖拉拽动态编辑页面的…