Modify ↓
#15436 closed enhancement (fixed)
Store cache data of plugins in cache location
Reported by: | bastiK | Owned by: | team |
---|---|---|---|
Priority: | normal | Milestone: | 17.10 |
Component: | Core | Version: | |
Keywords: | plugin | Cc: |
Description
We now have good separation of preferences, user data and cache content for JOSM core, but plugins just put all their files in one location (on Linux that would be ~/.local/share/JOSM/plugins/MyPlugin/
).
If any plugin were to produce a lot of caching data, then we would have the same problems as reported for JOSM core earlier:
- Automated backup process saves a lot of junk or needs custom excludes
- Impossible to keep user directory on a network device (for sharing settings, etc.)
I'm suggesting to have 3 dedicated directories for each plugin, on Linux, that would be:
~/.config/JOSM/plugins/MyPlugin/
plugin preferences~/.local/share/JOSM/plugins/MyPlugin/
plugin user data~/.cache/JOSM/plugins/MyPlugin/
plugin cache files
Attachments (1)
Change History (3)
by , 7 years ago
Attachment: | plugin-dirs.patch added |
---|
comment:1 by , 7 years ago
Resolution: | → fixed |
---|---|
Status: | new → closed |
comment:2 by , 7 years ago
Milestone: | → 17.10 |
---|
Note:
See TracTickets
for help on using tickets.
In 13007/josm: