The Coq mailing list

[Jonathan <jonikelee AT gmail.com>]

On 09/26/2014 12:22 PM, Enrico Tassi wrote:
> 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

Found it:

~/.config/coq/coqiderc (no leading "." - hence why my whole filesystem 
search failed)
~/.config/coq/coqide.keys

-- Jonathan