Я хотел использовать шрифт Jetbrains Mono с лигатурами в PyCharm. Диалоговое окно настроек говорит, что мне нужно использовать Jetbrains Platform для просмотра лигатур, поэтому я попытался включить его.
Я скачал плагин «Choose Runtime». Когда я выбираю jbsdk11b96_linux_x64.tar.gz и нажимаю «Установить», он загружает его в ~/.PyCharmCE2019.2/config/jdks/jbsdk11b96_linux_x64 и перезапускает PyCharm. Файл ~/.PyCharmCE2019.2/config/pycharm.jdk теперь содержит правильный путь. Но в диалоговом окне «О» в PyCharm все еще говорится «ВМ: виртуальная машина 64-битного сервера OpenJDK от Oracle Corpration», и лигатуры все еще не работают.
Я попытался установить AUR jetbrains-jre и использовать его с тот же эффект.