diff options
| -rw-r--r-- | Makefile.build | 2 | ||||
| -rw-r--r-- | ide/coqide-gtk2rc (renamed from ide/.coqide-gtk2rc) | 4 | ||||
| -rw-r--r-- | ide/coqide_main.ml4 | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/Makefile.build b/Makefile.build index aa98d5e19..508776f3b 100644 --- a/Makefile.build +++ b/Makefile.build @@ -303,7 +303,7 @@ COQIDEFLAGS=-thread $(COQIDEINCLUDES) .SUFFIXES:.vo -IDEFILES=ide/coq.png ide/.coqide-gtk2rc +IDEFILES=ide/coq.png ide/coqide-gtk2rc coqide-binaries: coqide-$(HASCOQIDE) coqide-no: diff --git a/ide/.coqide-gtk2rc b/ide/coqide-gtk2rc index 11c53dad2..621d4e847 100644 --- a/ide/.coqide-gtk2rc +++ b/ide/coqide-gtk2rc @@ -1,5 +1,5 @@ -# Some default functions for CoqIde. You may copy the file in your HOME and -# edit as you want. See +# Some default functions for CoqIde. You may copy the file in $XDG_CONFIG_HOME +# ($HOME/.config/coq/) and edit as you want. See # http://developer.gnome.org/doc/API/2.0/gtk/gtk-Resource-Files.html # for a complete set of options # To set the font of the text windows, edit the .coqiderc file through the menus. diff --git a/ide/coqide_main.ml4 b/ide/coqide_main.ml4 index f09ef2492..36257e8db 100644 --- a/ide/coqide_main.ml4 +++ b/ide/coqide_main.ml4 @@ -73,9 +73,9 @@ let () = Minilib.coqlib := Coq.check_coqlib args; Coqide.sup_args := args; Coqide.ignore_break (); - GtkMain.Rc.add_default_file (Ideutils.lib_ide_file ".coqide-gtk2rc"); + GtkMain.Rc.add_default_file (Ideutils.lib_ide_file "coqide-gtk2rc"); (try - GtkMain.Rc.add_default_file (Filename.concat Minilib.home ".coqide-gtk2rc"); + GtkMain.Rc.add_default_file (Filename.concat Minilib.xdg_config_home "coqide-gtk2rc"); with Not_found -> ()); ignore (GtkMain.Main.init ()); initmac () ; |