Opened 3 years ago
#21493 new enhancement
Split up preferences file
Reported by: | xeruf | Owned by: | team |
---|---|---|---|
Priority: | normal | Milestone: | Longterm |
Component: | Core | Version: | |
Keywords: | preferences xml state config | Cc: |
Description
Currently, there is one big preferences.xml
file in the config folder, containing lots of device-specific state.
As I am synchronizing this file with my dotfiles across machines, I am seeing excessive conflicts and modifications.
I would much prefer this file to be split up, with parts of it belonging into the now officially defined XDG_STATE_HOME
on Linux (see https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html).
A few examples of device-specific options are gui.*, org.openstreetmap.josm.gui.*, geoimage.*, file-optn.*, cache.*, pluginmanager.* as well as anything containing "last*" or "*history"
Some examples of keys that should stay in the file: the plugins list, plugin preferences, expert
, toolbar
, imagery.entries