Respect XDG Base Directory Specification

[lorenzleutgeb]

Please do not write to ~/.quint:

quint/quint/src/quintVerifier.ts

Lines 52 to 54 in d3c5f47

	function quintConfigDir(): string {
	return path.join(os.homedir(), '.quint')
	}

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]

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]

We can look at

• https://www.npmjs.com/package/xdg-portable
• https://github.com/sindresorhus/xdg-basedir

[shonfeder]

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