diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-11-10 19:29:29 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-05-29 11:15:30 +0200 |
commit | 25020ba614315ce143f657511696fb7bf5135b00 (patch) | |
tree | 8fc6032e3b39be4336ed940145fddde5fdc842f2 /lib/envars.ml | |
parent | 132d40ae3168065ed9ca11aa12fc6c96111a1e67 (diff) |
Dead code (xdg_config_dirs).
Diffstat (limited to 'lib/envars.ml')
-rw-r--r-- | lib/envars.ml | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/lib/envars.ml b/lib/envars.ml index 79516bb1b..0974368f6 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) |