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
---
 lib/envars.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'lib/envars.ml')

diff --git a/lib/envars.ml b/lib/envars.ml
index 5cffad06c8..dc71cb4330 100644
--- a/lib/envars.ml
+++ b/lib/envars.ml
@@ -56,6 +56,11 @@ let xdg_data_home =
     (System.getenv_else "XDG_DATA_HOME" (Filename.concat System.home ".local/share"))
     "coq"
 
+let xdg_config_home =
+  Filename.concat
+    (System.getenv_else "XDG_CONFIG_HOME" (Filename.concat System.home ".config"))
+    "coq"
+
 let xdg_data_dirs =
   try
     List.map (fun dir -> Filename.concat dir "coq") (path_to_list (Sys.getenv "XDG_DATA_DIRS"))
-- 
cgit v1.2.3