corresponding default values for checkstyle CHECKSTYLEALLJAR and JPLAGJAR
physikerwelt opened this issue · 5 comments
I wonder why the checkstyle jar should be placed to /home/praktomat
cf.
Praktomat/src/settings/defaults.py
Line 255 in 6a44db7
Could be anywhere, I guess, as long as the paths points there.
@nomeata is the "user" supposed to change both files defaults.js and local.py?
I guess it would be easier if defaults would point to some reasonable default locations and only one file (maybe ignored by git) would hold the user specific settings.
The user is supposed to change local.py, which can override any of the default settings.
I vote for closing this issue, perhaps after introducing a section in README.md about files which should become changed by admins ...
Are information in README (update on 19. February 2022) now better?