The Coq mailing list

[Jonathan <jonikelee AT gmail.com>]

On 09/26/2014 11:58 AM, Victor Porton wrote:
> 26.09.2014, 17:51, "Jonathan" 
> <jonikelee AT gmail.com>:
> > - Where does CoqIDE store those preferences, in case the same thing
> > happens again?
> $HOME/.coqiderc

I do not have the file .coqiderc anywhere on my filesystem (Linux Mint 
Debian Edition).

> and also
>
> $HOME/.coqide.keys (for keyboard preferences).

I don't have .coqide.keys anywhere either.


If some other preference file exists, will Coq use that instead? 
Something like that is probably happening...

-- Jonathan