diff options
| author | pboutill | 2011-11-20 20:03:06 +0000 |
|---|---|---|
| committer | pboutill | 2011-11-20 20:03:06 +0000 |
| commit | 5ec2163ce648db25aba87f5208841397fd2e1b1c (patch) | |
| tree | 7605292fdb65b235b98f315cc07694363c286ba5 /toplevel | |
| parent | ab6f28a2a5251cc7ef18948dc619781e82e43e71 (diff) | |
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
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/coqinit.ml | 8 |
1 files changed, 4 insertions, 4 deletions
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 -> |