Моя платформа - Ubuntu 18.04 LTS, и я уже установил JDK 1.8.0_172. Однако, когда я устанавливаю bazel из файла .sh, он просит меня установить openjdk. И когда я устанавливаю его из файла .deb, он должен установить openjdk из репозитория apt. Даже если пространство, занимаемое открытым jdk, терпимо, конфликт java и команды javac в окне bash и других программ, зависящих от java, неизбежны. Мне интересно, есть ли возможность настроить hotpot jdk по умолчанию.
Как мне это сделать?
Вот соответствующий веб-сайт и файлы:
Bazel Release в Github
Установщик .sh, который я использовал
Пакет .deb, который я использовал