Я установил jdk по умолчанию, введя команду:
apt-get install default-jdk
Это установит openjdk 11, и, похоже, apt-get установит файлы повсюду. Примеры:
/etc/java-11-openjdk/management
/usr/lib/jvm/java-11-openjdk-amd64/lib
/usr/share/doc/openjdk-11-jre-headless/JAVA_HOME
/var/lib/dpkg/info/openjdk-11-jre:amd64.postinst
Как видно из приведенных выше примеров, файлы разбросаны повсюду.
Я только что установил веб-приложение, которое предупреждает, что оно поддерживает только jdk 12 (я думаю, что это последняя версия openjdk). Как я могу установить версию 12, чтобы она заменяла версию 11? Как лучше всего обновить версию openjdk в Ubuntu 18.04, чтобы она не смешивалась с предыдущей версией?