Revision 2b7b58c4b31cf74da6062396ac96fb12b9499ea0 authored by Pierre-Yves Strub on 15 October 2019, 07:02:30 UTC, committed by Pierre-Yves Strub on 15 October 2019, 07:02:30 UTC
XDG.mli
(* --------------------------------------------------------------------
* Copyright (c) - 2012--2016 - IMDEA Software Institute
* Copyright (c) - 2012--2018 - Inria
* Copyright (c) - 2012--2018 - Ecole Polytechnique
*
* Distributed under the terms of the CeCILL-C-V1 license
* -------------------------------------------------------------------- *)
(* -------------------------------------------------------------------- *)
type path = string
type xdgroots = {
xdg_data_home : path;
xdg_config_home : path;
xdg_cache_home : path;
xdg_data_dirs : path list;
xdg_config_dirs : path list;
}
val xdgroots : xdgroots
exception XdgUndefined of string
(* -------------------------------------------------------------------- *)
val home : string
(* -------------------------------------------------------------------- *)
type mode = [`User | `System | `All]
type xdgfile =
?roots:xdgroots
-> ?exists:bool
-> appname:string
-> mode:mode
-> path
-> path list
(* -------------------------------------------------------------------- *)
module Data : sig
val user : ?roots:xdgroots -> unit -> path
val system : ?roots:xdgroots -> unit -> path list
val all : ?roots:xdgroots -> unit -> path list
val file : xdgfile
end
(* -------------------------------------------------------------------- *)
module Config : sig
val user : ?roots:xdgroots -> unit -> path
val system : ?roots:xdgroots -> unit -> path list
val all : ?roots:xdgroots -> unit -> path list
val file : xdgfile
end
(* -------------------------------------------------------------------- *)
module Cache : sig
val user : ?roots:xdgroots -> unit -> path
val file : xdgfile
end
![swh spinner](/static/img/swh-spinner.gif)
Computing file changes ...