search

informalsystems / quint

An executable specification language with delightful tooling based on the temporal logic of actions (TLA)
Apache License 2.0
817 stars 31 forks source link

Respect XDG Base Directory Specification #1132

Open lorenzleutgeb opened 1 year ago

lorenzleutgeb commented 1 year ago

Please do not write to ~/.quint: https://github.com/informalsystems/quint/blob/d3c5f476808cbe87eeffa2d31a76e27ab7b9ea34/quint/src/quintVerifier.ts#L52-L54

That should be $XDG_CONFIG_HOME/.quint. Refer to https://specifications.freedesktop.org/basedir-spec/basedir-spec-latest.html

There's probably a library you can use...

shonfeder commented 1 year ago

This is a good pointer, and I agree we should strive to be good citizens on this kind of thing. Thanks for raising the issue!

shonfeder commented 1 year ago

We can look at

shonfeder commented 9 months ago

We should fix this, but we don't need it to close our milestone.