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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
|
(* $I1: Unison file synchronizer: src/os.mli $ *)
(* $I2: Last modified by vouillon on Tue, 31 Aug 2004 11:33:38 -0400 $ *)
(* $I3: Copyright 1999-2004 (see COPYING for details) $ *)
val myCanonicalHostName : string
val tempPath : Fspath.t -> Path.local -> Path.local
val includeInTempNames : string -> unit
val backupPath : Fspath.t -> Path.local -> Path.local
val createUnisonDir : unit -> unit
val fileInUnisonDir : string -> Fspath.t
val unisonDir : Fspath.t
val childrenOf : Fspath.t -> Path.local -> Name.t list
val readLink : Fspath.t -> Path.local -> string
val symlink : Fspath.t -> Path.local -> string -> unit
val rename : Fspath.t -> Path.local -> Fspath.t -> Path.local -> unit
val renameIfAllowed :
Fspath.t -> Path.local -> Fspath.t -> Path.local -> exn option
val createDir : Fspath.t -> Path.local -> Props.t -> unit
val delete : Fspath.t -> Path.local -> unit
(* We define a new type of fingerprints here so that clients of
Os.fingerprint do not need to worry about whether files have resource
forks or whatever that need to be fingerprinted separately. They can
sensibly be compared for equality using =. Internally, a fullfingerprint
is a pair of the main file's fingerprint and the resource fork fingerprint,
if any. *)
type fullfingerprint
val fullfingerprint_to_string : fullfingerprint -> string
val fullfingerprint_dummy : fullfingerprint
(* Use this function if the file may change during fingerprinting *)
val safeFingerprint :
Fspath.t -> Path.local -> (* coordinates of file to fingerprint *)
Fileinfo.t -> (* old fileinfo *)
fullfingerprint option -> (* fingerprint corresponding to the old fileinfo *)
Fileinfo.t * fullfingerprint
(* current fileinfo, fingerprint and fork info *)
val fingerprint :
Fspath.t -> Path.local -> (* coordinates of file to fingerprint *)
Fileinfo.t -> (* old fileinfo *)
fullfingerprint (* current fingerprint *)
(* Versions of system calls that will restart when interrupted by
signal handling *)
val accept : Unix.file_descr -> (Unix.file_descr * Unix.sockaddr)
(*****************************************************************************)
(* OPTIONS *)
(*****************************************************************************)
(* It seems to me that all the options should be put into a single options *)
(* file. I put these here for lack of a better palce. *)
(*****************************************************************************)
(* Option that controls whether backup files are kept *)
val backups : bool Prefs.t
(* Option that controls how many backup copies (max) are kept *)
val maxbackups : int Prefs.t
(* Option that controls how many backup copies (min) are kept *)
val minbackups : int Prefs.t
(* Option that controls how old backup copies can get (days) *)
val maxbackupage : int Prefs.t
|
