Module Remote_executable

This module is used to transfer the currently running executable to a remote machine

Signature

type 'a t

val existing_on_host : executable_path:string -> ?strict_host_key_checking:[

| `No

| `Ask

| `Yes

] -> string -> [

| `Undeletable

] t

existing_on_host ~executable_path ?strict_host_key_checking host will create a t from the supplied host and path. The executable MUST be the exact same executable that will be run in the master process. There will be a check for this in spawn_worker. Use strict_host_key_checking to change the StrictHostKeyChecking option used when sshing into this host

val copy_to_host : executable_dir:string -> ?strict_host_key_checking:[

| `No

| `Ask

| `Yes

] -> string -> [

| `Deletable

] t Core.Std.Or_error.t Async.Std.Deferred.t

copy_to_host ~executable_dir ?strict_host_key_checking host will copy the currently running executable to the desired host and path. It will keep the same name but add a suffix .XXXXXXXX. Use strict_host_key_checking to change the StrictHostKeyChecking option used when sshing into this host

val delete : [

| `Deletable

] t -> unit Core.Std.Or_error.t Async.Std.Deferred.t

delete t will delete a remote executable that was copied over by a previous call to copy_to_host

val path : _ t -> string

Get the underlying path, host, and host_key_checking

val host : _ t -> string

val host_key_checking : _ t -> string list