From 5ec2163ce648db25aba87f5208841397fd2e1b1c Mon Sep 17 00:00:00 2001
From: pboutill
Date: Sun, 20 Nov 2011 20:03:06 +0000
Subject: coqrc in the right XDG_CONFIG_HOME/coq folder

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14696 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/coqinit.ml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

(limited to 'toplevel')

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index 0c6286d3a2..7d178ede33 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -15,13 +15,13 @@ let (/) = Filename.concat
 let set_debug () = Flags.debug := true
 
 (* Loading of the ressource file.
-   rcfile is either $HOME/.coqrc.VERSION, or $HOME/.coqrc if the first one
+   rcfile is either $XDG_CONFIG_HOME/.coqrc.VERSION, or $XDG_CONFIG_HOME/.coqrc if the first one
   does not exist. *)
 
-let rcfile = ref (home/".coqrc")
+let rcfile = ref (Envars.xdg_config_home/"coqrc")
 let rcfile_specified = ref false
 let set_rcfile s = rcfile := s; rcfile_specified := true
-let set_rcuser s = rcfile := ("~"^s)/".coqrc"
+let set_rcuser s = rcfile := ("~"^s)^"/.config/coq/coqrc"
 
 let load_rc = ref true
 let no_load_rc () = load_rc := false
@@ -40,7 +40,7 @@ let load_rcfile() =
       else ()
 	(*
 	Flags.if_verbose
-	  mSGNL (str ("No .coqrc or .coqrc."^Coq_config.version^
+	  mSGNL (str ("No coqrc or coqrc."^Coq_config.version^
 			 " found. Skipping rcfile loading."))
 	*)
     with e ->
-- 
cgit v1.2.3