The Coq mailing list

[Enrico Tassi <enrico.tassi AT inria.fr>]

On Fri, Sep 26, 2014 at 12:12:25PM -0400, Jonathan wrote:
 If some other preference file exists, will Coq use that instead?
> Something like that is probably happening...

Modern unix systems try not to pollute $HOME and store config files
according to cross desktop env variables as $XD*.
Usually things end up in .local/etc/ or similar subdirs of your home.

best
-- 
Enrico Tassi