diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-20 20:03:01 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-20 20:03:01 +0000 |
| commit | 6600b4e71cc82fc2a7c00e8dc1d4aa5ec1787cf7 (patch) | |
| tree | 259c4924513d58738b46d15dff1007bb68f389e5 /INSTALL.ide | |
| parent | e2da4610f7e27d289ada98383c079c3c939b20c6 (diff) | |
CoqIdE configuration file won't pollute your home anymore
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14694 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'INSTALL.ide')
| -rw-r--r-- | INSTALL.ide | 21 |
1 files changed, 9 insertions, 12 deletions
diff --git a/INSTALL.ide b/INSTALL.ide index d09df2eb0..300d17b19 100644 --- a/INSTALL.ide +++ b/INSTALL.ide @@ -23,10 +23,10 @@ On Gentoo GNU/Linux, do: Else, read the rest of this document to compile your own CoqIde. REQUIREMENT: - - OCaml >= 3.10 with native threads support. + - OCaml >= 3.11 with native threads support. - make world must succeed. - The graphical toolkit GTK+ 2.x. See http://www.gtk.org. - The official supported version is at least 2.8.x. + The official supported version is at least 2.10.x. You may still compile CoqIde with older versions and use all features. Run @@ -42,7 +42,7 @@ REQUIREMENT: - The OCaml bindings for GTK+ 2.x, lablgtk2. - You need at least version 2.10.0. + You need at least version 2.12.0. Your distribution may contain precompiled packages. For example, for Debian, run @@ -104,17 +104,14 @@ INSTALLATION NOTES -There are three configuration files located in your $(HOME) dir. +There are three configuration files located in your $(XDG_CONFIG_HOME)/coq dir. You may need to set HOME to some sensible value under Windows. -- .coqiderc is generated by coqide itself. It may be edited by hand or +- coqiderc is generated by coqide itself. It may be edited by hand or by using the Preference menu from coqide. It will be generated the first time you save your the preferences in Coqide. -- .coqide-gtk2rc is a standard Gtk2 configuration file. A sample file can be - found in the coq lib "ide" subdir. - -- .coqide.keys is a standard Gtk2 accelerator dump. You may edit this file +- coqide.keys is a standard Gtk2 accelerator dump. You may edit this file to change the default shortcuts for the menus. Read ide/FAQ for more informations. @@ -127,8 +124,8 @@ TROUBLESHOOTING Some users may experiment problems with unwanted automatic templates while using Coqide. This is due to a change in the modifiers keys available through GTK. The straightest way to get - rid of the problem is to edit by hand your .coqiderc (either - /home/<user>/.coqiderc under Linux, or - C:\Documents and Settings\<user>\.coqiderc under Windows) + rid of the problem is to edit by hand your coqiderc (either + /home/<user>/.config/coq/coqiderc under Linux, or + C:\Documents and Settings\<user>\.config\coq\coqiderc under Windows) and replace any occurence of MOD4 by MOD1. |