После обновления версии Ubuntu с 14.04 LTS до 16.04 LTS все работает хорошо.
Тот, который находится в вашем каталоге HOME, должен быть наиболее авторитетным (должен находиться в ~/.config/fontconfig/conf.d/10-symbols.conf).
PragmataPro следует заменить одним шрифтом, который вам нравится, который доступен / установлен на вашем компьютере (используйте fc-list, чтобы просмотреть полный список).
В файле 10-symbols.conf должна быть какая-то документация, если что-то неясно, пожалуйста, откройте здесь проблему, чтобы мы могли ее улучшить.
Тот, который находится в вашем каталоге HOME, должен быть наиболее авторитетным (должен находиться в ~/.config/fontconfig/conf.d/10-symbols.conf).
PragmataPro следует заменить одним шрифтом, который вам нравится, который доступен / установлен на вашем компьютере (используйте fc-list, чтобы просмотреть полный список).
В файле 10-symbols.conf должна быть какая-то документация, если что-то неясно, пожалуйста, откройте здесь проблему, чтобы мы могли ее улучшить.
Тот, который находится в вашем каталоге HOME, должен быть наиболее авторитетным (должен находиться в ~/.config/fontconfig/conf.d/10-symbols.conf).
PragmataPro следует заменить одним шрифтом, который вам нравится, который доступен / установлен на вашем компьютере (используйте fc-list, чтобы просмотреть полный список).
В файле 10-symbols.conf должна быть какая-то документация, если что-то неясно, пожалуйста, откройте здесь проблему, чтобы мы могли ее улучшить.