Nikita Bloshchanevich
7d5ceff5ec
fix(plantuml): flycheck: executable support
...
The flycheck-plantuml is by default configured to always run plantuml
via "java". This only works with a downloaded plantuml. However, I would
prefer to have plantuml installed via my package manager (fedora/dnf).
A locally installed PlantUML executable is already detected by default
for normal use (export/preview), we can also use it for flycheck.
If plantuml is downloaded using plantuml-download-jar, this jar is still
used by default (see setq plantuml-exec-mode), so this should not affect
previous setups.
2023-11-24 11:06:34 -05:00
..
2023-09-16 20:19:11 +02:00
2023-09-20 20:24:00 +02:00
2023-09-17 03:17:12 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-20 20:23:59 +02:00
2023-10-05 17:43:19 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-11-23 18:32:35 -05:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-17 03:27:49 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-11-24 11:05:30 -05:00
2023-09-16 20:19:11 +02:00
2023-10-05 17:45:50 +02:00
2023-10-05 17:42:24 +02:00
2023-11-23 21:21:08 -05:00
2023-09-16 20:19:11 +02:00
2023-11-24 11:06:34 -05:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-22 23:18:31 +02:00
2023-10-06 22:36:59 +02:00
2023-11-23 18:32:35 -05:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-20 20:23:59 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-16 20:19:11 +02:00
2023-09-20 21:01:55 +02:00
2022-08-07 19:08:07 +02:00