Как установить Java 13 на Ubuntu 18.04.3? (Работает и в 20.04)

Подписан https://openjdk.java.net/install/index.html на комментарий Pilot6 (спасибо).

JDK 9 и более поздние версии

Бинарные файлы Oracle OpenJDK JDK для Windows, macOS и Linux доступны на страницах jdk.java.net для конкретных версий в виде архивов .tar.gz или .zip.

Например, архивы для JDK 13 можно найти на jdk.java.net/13 и их можно извлечь из командной строки с помощью

$ tar xvf openjdk-13*_bin.tar.gz

Команды для загрузки java 15 из jdk net (Linux / x64) с помощью терминала. и сохранение в папку "j" в папке "Загрузки". ~ ярлык для текущего вошедшего в домашний каталог пользователя

mkdir ~/Downloads/j
cd  ~/Downloads/j
curl https://download.java.net/java/GA/jdk15.0.2/0d1cfde4252546c6931946de8db48ee2/7/GPL/openjdk-15.0.2_linux-x64_bin.tar.gz --output ./jdk_15.0.2_linuxx64bin.tar.gz
 tar xvf j16.tar.gz

Используется sudo mv для перемещения каталога 'jdk-13.0.1' в / usr / lib / jvm /

  sudo mv jdk-16  /usr/lib/jvm/

Затем в мой файл ~ / .profile добавлен / отредактирован (как У меня раньше была Java 11) в текстовом редакторе:

export JAVA_HOME=/usr/lib/jvm/jdk-13.0.1
export PATH=$JAVA_HOME/bin:$PATH

В текущем терминале дал две команды выше и мог использовать Java 13. Работал и после перезапуска из-за записи в ~ / .profile