unison

Fork of Unison, a bi-directional file synchronization tool
git clone git://git.laack.co/unison.git
Log | Files | Refs | README | LICENSE

clroot.mli (863B)

      1 (* Unison file synchronizer: src/clroot.mli *)
      2 (* Copyright 1999-2020, Benjamin C. Pierce (see COPYING for details) *)
      3 
      4 (* Command-line roots *)
      5 type clroot =
      6     ConnectLocal of
      7           string option (* root *)
      8   | ConnectByShell of
      9           string        (* shell = "ssh" *)
     10         * string        (* name of host *)
     11         * string option (* user name to log in as *)
     12         * string option (* port *)
     13         * string option (* root of replica in host fs *)
     14   | ConnectBySocket of
     15           string        (* name of host *)
     16         * string        (* port where server should be listening *)
     17         * string option (* root of replica in host fs *)
     18 
     19 val clroot2string : clroot -> string
     20 
     21 val parseRoot : string -> clroot
     22 
     23 (* Parse a clroot with manually constructed host
     24    which may or may not include the port number *)
     25 val fixHost : clroot -> clroot