Source file commandPull.ml
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
open Ezcmd.TYPES
open EzConfig.OP
open EzFile.OP
let cmd_name = "pull"
let action () =
match !!Config.rsync_url with
| None ->
Printf.eprintf
"Error: you must define the remote url with `%s config --rsync-url`\n%!"
Globals.command ;
exit 2
| Some rsync_url ->
let args = [ "rsync"; "-auv" ; "--progress" ] in
let args = args @ [
rsync_url // ".";
Globals.opambin_store_dir // "." ;
] in
Printf.eprintf "Calling '%s'\n%!"
(String.concat " " args);
Misc.call (Array.of_list args);
Printf.eprintf "Done.\n%!";
()
let cmd =
{
cmd_name ;
cmd_action = (fun () -> action () ) ;
cmd_args = [] ;
cmd_man = [];
cmd_doc = "push binary packages to the remote server";
}