The Coq mailing list

[Guillaume Melquiond <guillaume.melquiond AT inria.fr>]

Le dimanche 24 avril 2011 à 16:18 -0400, Tom Prince a écrit :

> Python has this, an uses $HOME/.local/lib/python$VERSION/site-packages
> I would suggest $HOME/.local/lib/coq for this. I am curious if people 
> think this is a good idea, and if so, what their opinions on location
> are.

Rather than deciding on a specific location, you could just as well
follow the XDG Base Directory Specification [1] and use
$XDG_DATA_HOME/coq as the default path (possibly followed by /$VERSION,
so as to avoid incompatible .vo files when changing version). Basically,
it means that, on a system without any environment variable set, the
files would end up in $HOME/.local/share/coq/...

Best regards,

Guillaume

[1] http://standards.freedesktop.org/basedir-spec/basedir-spec-latest.html