From 6600b4e71cc82fc2a7c00e8dc1d4aa5ec1787cf7 Mon Sep 17 00:00:00 2001
From: pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 20 Nov 2011 20:03:01 +0000
Subject: 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
---
 ide/minilib.ml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

(limited to 'ide/minilib.ml')

diff --git a/ide/minilib.ml b/ide/minilib.ml
index 54be52c19..65ff4378e 100644
--- a/ide/minilib.ml
+++ b/ide/minilib.ml
@@ -70,7 +70,13 @@ let subst_command_placeholder s t =
 let home =
   try Sys.getenv "HOME" with Not_found ->
     try (Sys.getenv "HOMEDRIVE")^(Sys.getenv "HOMEPATH") with Not_found ->
-      try Sys.getenv "USERPROFILE" with Not_found -> "."
+      try Sys.getenv "USERPROFILE" with Not_found -> Filename.current_dir_name
+
+let xdg_config_home =
+  try
+    Filename.concat (Sys.getenv "XDG_CONFIG_HOME") "coq"
+  with Not_found ->
+    Filename.concat home "/.config/coq"
 
 let coqlib = ref ""
 let coqtop_path = ref ""
-- 
cgit v1.2.3