Expand description
Remote session options, banners, and shared command helpers.
Structs§
- Remote
Options - Options for a remote OpenSSH session and binary source.
- Remote
Options Input - Common inputs shared by CLI, TUI, desktop, and MCP when building
RemoteOptions. - Remote
RunFlags - Boolean switches for a remote CLI run.
- Remote
RunRequest - 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