summaryrefslogtreecommitdiff
path: root/src/vyconf_config.mli
blob: 9b6b2838fa82a5f31b6301177c8c92ed291496e4 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
type t = {
    app_name: string;
    data_dir: string;
    program_dir: string;
    config_dir: string;
    reftree_dir: string;
    session_dir: string;
    primary_config: string;
    fallback_config: string;
    reference_tree: string;
    running_cache: string;
    session_cache: string;
    socket: string;
    pid_file: string;
    log_file: string option;
    log_template: string;
    log_level: string;
}

val load : string -> (t, string) result

val dump : t -> string