Add remote environment user shell support

This commit is contained in:
Rasmus Rygaard
2026-06-15 13:18:57 -07:00
parent 41db093aa0
commit fda28a2c6b
8 changed files with 580 additions and 14 deletions
+3
View File
@@ -635,6 +635,9 @@ pub enum Op {
/// include shell syntax (pipes, redirects, etc.). Output is streamed via
/// `ExecCommand*` events and the UI regains control upon `TurnComplete`.
RunUserShellCommand {
/// Optional explicit environment target. `None` preserves the legacy
/// local app-server/TUI path.
environment_id: Option<String>,
/// The raw command string after '!'
command: String,
},