-
Notifications
You must be signed in to change notification settings - Fork 1.1k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Store state files in $XDG_STATE_HOME by default #3185
base: master
Are you sure you want to change the base?
Store state files in $XDG_STATE_HOME by default #3185
Conversation
@JoeKar So far I only updated the docs. Please let me know if such changes make sense, so I can start implementing them. |
This isn't gonna be backwards compatible, is it? |
I was thinking about it, but in the initial proposal I decided to omit this. But I definitely would like to make this change completely painless for everyone. Making anyone lose time over such a minor change would be unprofessional. By "backward compatibility", do you mean that if Another option would be to copy |
Dunno. Neither option seems perfect. |
The backward compatibility will be a nasty thing.
In that case you will do this with every startup, right? Maybe it's better to move it then and maintain the new location only. 🤔 |
Yeah, it's also an option. The situation where the change I'm planning to make would cause problems seems very rare: Micro would have to crash, the user would have update in the meantime, and then the backup would be missing. |
This PR is targeted at #3176