diff options
| -rw-r--r-- | lib/envars.ml | 10 | ||||
| -rw-r--r-- | lib/envars.mli | 1 |
2 files changed, 0 insertions, 11 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index 79516bb1bf..0974368f62 100644 --- a/lib/envars.ml +++ b/lib/envars.ml @@ -191,16 +191,6 @@ let xdg_data_dirs warn = in xdg_data_home warn :: sys_dirs @ opt2list Coq_config.datadir -let xdg_config_dirs warn = - let sys_dirs = - try - List.map coqify (path_to_list (Sys.getenv "XDG_CONFIG_DIRS")) - with - | Not_found when String.equal Sys.os_type "Win32" -> [relative_base / "config"] - | Not_found -> ["/etc/xdg/coq"] - in - xdg_config_home warn :: sys_dirs @ opt2list Coq_config.configdir - let xdg_dirs ~warn = List.filter Sys.file_exists (xdg_data_dirs warn) diff --git a/lib/envars.mli b/lib/envars.mli index b164e789d2..c33a08c405 100644 --- a/lib/envars.mli +++ b/lib/envars.mli @@ -66,7 +66,6 @@ val camlp4 : unit -> string *) val xdg_config_home : (string -> unit) -> string val xdg_data_home : (string -> unit) -> string -val xdg_config_dirs : (string -> unit) -> string list val xdg_data_dirs : (string -> unit) -> string list val xdg_dirs : warn : (string -> unit) -> string list |