diff options
author | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-20 20:03:01 +0000 |
---|---|---|
committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-11-20 20:03:01 +0000 |
commit | 6600b4e71cc82fc2a7c00e8dc1d4aa5ec1787cf7 (patch) | |
tree | 259c4924513d58738b46d15dff1007bb68f389e5 /ide/minilib.ml | |
parent | e2da4610f7e27d289ada98383c079c3c939b20c6 (diff) |
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
Diffstat (limited to 'ide/minilib.ml')
-rw-r--r-- | ide/minilib.ml | 8 |
1 files changed, 7 insertions, 1 deletions
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 "" |