getIdrisUserDataDir should follow XDG basedir spec on unix.

[Melvar]

Currently, it returns $HOME/.idris there, contributing to home directory clutter: getIdrisUserDataDir

To follow the standard it must be split up, as config, data, and cache are stored separately.

Probably xdg-basedir is the lib of choice.

[david-christiansen]

The reason that I didn't do it back then is that there wasn't a reasonable library on Hackage that did all the right thing on Mac OS X, Windows, and normal Unixes. In particular, on Mac OS, it's supposed to dump stuff in ~/Library, as far as I can tell, and the xdg-basedir lib doesn't do that. Also, "attempts to do the right thing on Windows" isn't particularly heartening...

[ahmadsalim]

@david-christiansen You are right about OS X.

For Windows, I believe attempts to do the right thing is the best we can get. Usually it would store the data in %AppData% which it seems to try and it has some backups as well.

[enolan]

You can use System.Directory.getXdgDirectory instead of having to require xdg-basedir. It doesn't do any Mac OS specific stuff either though.

[Melvar]

System.Directory.getXdgDirectory exists starting in directory-1.2.3.0.

[jfdm]

Ah this is a precursor to Issue #3334 in which I suggested the use of xdg functions from a later version of directory.