coq-club AT inria.fr

Subject: The Coq mailing list

List archive

Re: [Coq-Club] where does CoqIDE store its preferences?

From: Victor Porton <porton AT narod.ru>
To: "coq-club AT inria.fr" <coq-club AT inria.fr>
Subject: Re: [Coq-Club] where does CoqIDE store its preferences?
Date: Fri, 26 Sep 2014 17:58:55 +0200
Envelope-from: porton AT yandex.ru

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

and also

$HOME/.coqide.keys (for keyboard preferences).

--
Victor Porton - http://portonvictor.org

[Coq-Club] where does CoqIDE store its preferences?, Jonathan, 09/26/2014
- Re: [Coq-Club] where does CoqIDE store its preferences?, Victor Porton, 09/26/2014
  - Re: [Coq-Club] where does CoqIDE store its preferences?, Jonathan, 09/26/2014
    - Re: [Coq-Club] where does CoqIDE store its preferences?, Enrico Tassi, 09/26/2014
      - Re: [Coq-Club] where does CoqIDE store its preferences?, Jonathan, 09/26/2014