Follow XDG Base directory specs

leanprover / elan

The Lean version manager

Apache License 2.0

297 stars 34 forks source link

Follow XDG Base directory specs #75

Open MckinleyX opened 2 years ago

MckinleyX commented 2 years ago

Hi! On Linux, elan stores files in ~/.elan.

It may be better to follow the XDG desktop specification.

In particular, Configuration files should go under $XDG_CONFIG_HOME (if empty, $HOME/.config/) Data files should go under $XDG_DATA_HOME (if empty, $HOME/.local/share/)

sbatial commented 1 year ago

I agree, that the XDG standard should probably be the default, but it is already possible to set ELAN_HOME.