From 89778d8549ef9b7aff586f467dfc506904ea0ae0 Mon Sep 17 00:00:00 2001 From: Robby Renz <43713843+robbyrenz@users.noreply.github.com> Date: Sun, 1 Nov 2020 08:24:45 -0600 Subject: [PATCH] archlinux-java: add page (#4889) --- pages/linux/archlinux-java.md | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 pages/linux/archlinux-java.md diff --git a/pages/linux/archlinux-java.md b/pages/linux/archlinux-java.md new file mode 100644 index 000000000..717e10fba --- /dev/null +++ b/pages/linux/archlinux-java.md @@ -0,0 +1,20 @@ +# archlinux-java + +> A helper script that provides functionalities for Java environments. +> More information: . + +- List installed Java environments: + +`archlinux-java status` + +- Set the default Java environment: + +`archlinux-java set {{java_environment}}` + +- Unset the default Java environment: + +`archlinux-java unset` + +- Set the default Java environment automatically: + +`archlinux-java fix`