You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The text was updated successfully, but these errors were encountered:
bartekpacia
changed the title
Zed puts stuff into $XDG_CONFIG_HOME that doesn't belong there
Micro puts stuff into $XDG_CONFIG_HOME that doesn't belong there
Mar 14, 2024
From what I understand, XDG_CONFIG_HOME is for configuration files, like
settings.json
andbindings.json
.However in my case
micro
misuses that directory to place some other autogenerated files in there:I think stuff like
backups
andbuffers
doesn't belong toXDG_DATA_HOME
. Instead they should be in$XDG_STATE_HOME
(or maybe$XDG_DATA_HOME
?).Specifications
Micro version
OS
Terminal
iTerm2 (build 3.5.0beta19)
The text was updated successfully, but these errors were encountered: