Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Page
Library
Module
Module type
Parameter
Class
Class type
Source
Tezt.RunnerSourceRunner specifications for processes spawned remotely using SSH.
type t = private {id : int;address : string;ssh_alias : string option;ssh_user : string option;ssh_port : int option;ssh_id : string option;}Connection information for a runner.
See create.
val create :
?ssh_alias:string ->
?ssh_user:string ->
?ssh_port:int ->
?ssh_id:string ->
address:string ->
unit ->
tCreate a runner.
This function does not start any SSH connection, it only stores SSH connection information in a record.
ssh_alias is the alias in the ssh config file.ssh_user is the username on the remote machine.ssh_port is the port on the remote machine.ssh_id is the path to the identity file.address is the IP address of the remote machine.Get the IP address of the local machine as perceived by other runners.
Use this if you need a runner to reach a process that is running on the local machine.
This returns "127.0.0.1" by default, but you can set it with set_local_public_ip.
Set the IP address of the local machine as perceived by other runners.
Get the IP / DNS address of a runner.
Usage: address ~from runner
Return the address at which a source node from can contact runner.
If the source node from is not specified, return the address of runner as given to create. If runner itself is None, return "127.0.0.1" or "localhost" if the hostname variable is set to true (default false).
If from is specified:
runner is None, return get_local_public_ip ();from and runner are the same runner, return "127.0.0.1";address of runner.Wrap a shell command into an SSH call.
Usage: wrap_with_ssh runner shell
Return (name, arguments) where name is "ssh" and arguments are arguments to pass to SSH to execute shell on runner.
Same as wrap_with_ssh, but print the PID on stdout first.
The PID can be used later on to, for instance, kill the remote process. Indeed, killing the local SSH process will not necessarily kill the remote process.