Skip to main content

Module options

Module options 

Source
Expand description

Remote session options, banners, and shared command helpers.

Structs§

RemoteOptions
Options for a remote OpenSSH session and binary source.
RemoteOptionsInput
Common inputs shared by CLI, TUI, desktop, and MCP when building RemoteOptions.
RemoteRunFlags
Boolean switches for a remote CLI run.
RemoteRunRequest
CLI arguments to run on the box via the uploaded agent (without the binary name).

Constants§

DEFAULT_GITHUB_REPO
Default GitHub repo that publishes box Release tar.gz assets.
DEFAULT_INSTALL_DIR
Permanent install directory for CLI + TUI + status-api + MCP on the box.
DEFAULT_REMOTE_AGENT_DIR
Remote directory for the temporary CLI apply agent.

Functions§

build_remote_command_at
exec_remote_cli_captured
Run one remote CLI argv list on an already-resolved box binary (Capture).
merge_command_log
remote_agent_bin
remote_cli_candidates
remote_doctor_report_banner
Log the remote doctor JSON header (stderr via tracing).
remote_install_bin
remote_progress
remote_progress_message
Format an operator progress banner for remote SSH/SCP/key steps.
remote_run_banner_detail
Detail line for a remote CLI run banner.
session_from
shell_quote