blob: da9d092346a4a7c008f850e00f7298375dadb73c (
plain)
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
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
|
(* Unison file synchronizer: src/files.mli *)
(* Copyright 1999-2018, Benjamin C. Pierce (see COPYING for details) *)
(* As usual, these functions should only be called by the client (i.e., in *)
(* the same address space as the user interface). *)
(* Delete the given subtree of the given replica *)
val delete :
Common.root (* source root *)
-> Path.t (* deleted path *)
-> Common.root (* root *)
-> Path.t (* path to delete *)
-> Common.updateItem (* updates that will be discarded *)
-> bool (* [true] if not Unison's default action *)
-> unit Lwt.t
(* Region used for the copying. Exported to be correctly set in transport.ml *)
(* to the maximum number of threads *)
val copyReg : Lwt_util.region
(* Copy a path in one replica to another path in a second replica. The copy *)
(* is performed atomically (or as close to atomically as the os will *)
(* support) using temporary files. *)
val copy :
[`Update of (Uutil.Filesize.t * Uutil.Filesize.t) | `Copy]
(* whether there was already a file *)
-> Common.root (* from what root *)
-> Path.t (* from what path *)
-> Common.updateItem (* source updates *)
-> Props.t list (* properties of parent directories *)
-> Common.root (* to what root *)
-> Path.t (* to what path *)
-> Common.updateItem (* dest. updates *)
-> Props.t list (* properties of parent directories *)
-> bool (* [true] if not Unison's default action *)
-> Uutil.File.t (* id for showing progress of transfer *)
-> unit Lwt.t
(* Copy the permission bits from a path in one replica to another path in a *)
(* second replica. *)
val setProp :
Common.root (* source root *)
-> Path.t (* source path *)
-> Common.root (* target root *)
-> Path.t (* target path *)
-> Props.t (* previous properties *)
-> Props.t (* new properties *)
-> Common.updateItem (* source updates *)
-> Common.updateItem (* target updates *)
-> unit Lwt.t
(* Generate a difference summary for two (possibly remote) versions of a *)
(* file and send it to a given function *)
val diff :
Common.root (* first root *)
-> Path.t (* path on first root *)
-> Common.updateItem (* first root updates *)
-> Common.root (* other root *)
-> Path.t (* path on other root *)
-> Common.updateItem (* target updates *)
-> (string->string->unit) (* how to display the (title and) result *)
-> Uutil.File.t (* id for showing progress of transfer *)
-> unit
(* This should be called at the beginning of execution, to detect and clean *)
(* up any pending file operations left over from previous (abnormally *)
(* terminated) synchronizations *)
val processCommitLogs : unit -> unit
(* List the files in a directory matching a pattern. *)
val ls : System.fspath -> string -> string list
val merge :
Common.root (* first root *)
-> Path.t (* path to merge *)
-> Common.updateItem (* differences from the archive *)
-> Common.root (* second root *)
-> Path.t (* path to merge *)
-> Common.updateItem (* differences from the archive *)
-> Uutil.File.t (* id for showing progress of transfer *)
-> (string->string->bool) (* function to display the (title and) result
and ask user for confirmation (when -batch
is true, the function should not ask any
questions and should always return true) *)
-> unit
|
