File: config.mli

package info (click to toggle)
approx 5.10-2
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, sid
  • size: 340 kB
  • sloc: ml: 2,220; sh: 42; makefile: 32
file content (34 lines) | stat: -rw-r--r-- 998 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
(* approx: proxy server for Debian archive files
   Copyright (C) 2014  Eric C. Cooper <ecc@cmu.edu>
   Released under the GNU General Public License *)

val version : string

val arguments : string list (* without config file args *)

val cache_dir : string
val interval : int (* minutes *)
val max_rate : string (* bytes/second with optional K, M, or G suffix *)
val max_redirects : int
val user : string
val group : string
val syslog : string
val pdiffs : bool
val offline : bool
val max_wait : int (* seconds *)
val curl_path : string
val verbose : bool
val debug : bool

val index : string (* simple HTML index for the server *)

(* Extract the distribution and relative filename
   from the absolute pathname of a file in the cache.
   Example: split_cache_path "/var/cache/approx/debian/pool/main/..."
   returns ("debian", "pool/main/...") *)

val split_cache_path : string -> string * string

(* Remove cache directory prefix from a pathname, if present *)

val shorten : string -> string