Module Ketrew.EDSL.Host

module Host: sig .. end

type t = Ketrew_pure.Host.t 
Alias for the host type.
val parse : string -> t
Parse a URI string into a Ketrew-host.

The “scheme” and “host” part of the URI define the connection type:

The “path” part of the URI defines the “playground”; a directory where the Ketrew-engine will create temporary and monitoring files.

Other query options can be used to configure the host:

Examples:

See also Ketrew_pure.Host.of_uri.
val tmp_on_localhost : t
val ssh : ?add_ssh_options:string list ->
?playground:string ->
?port:int -> ?user:string -> ?name:string -> string -> t
val cmdliner_term : ?doc:string ->
[ `Flag of string list | `Required of int ] ->
t Cmdliner.Term.t
Cmdliner term which creates a host argument or flag. `Required n will be an anonymous argument at position n; `Flag ["option-name"; "O"] will create an optional flag "--option-name" (aliased to "-O") whose default value is the host "/tmp/" (i.e. Localhost with "/tmp" as “playground”).