Skip to content

feat(desktop): add a Shell interpreter dropdown to Settings → Sandbox#4134

Merged
esengine merged 1 commit into
main-v2from
feat/shell-settings-ui
Jun 12, 2026
Merged

feat(desktop): add a Shell interpreter dropdown to Settings → Sandbox#4134
esengine merged 1 commit into
main-v2from
feat/shell-settings-ui

Conversation

@esengine

Copy link
Copy Markdown
Owner

Closes #4114. Follow-up to #4131 (the [tools.shell] config), adding the desktop Settings → Sandbox UI so users don't have to hand-edit reasonix.toml.

Change

  • Settings → Sandbox gains a Shell interpreter dropdown: auto / bash / PowerShell / pwsh.
  • Wired through the existing SetSandbox apply path (snapshot → reload → resume, same live-apply as the other sandbox settings), reading/writing [tools.shell] prefer.
  • SandboxView (Go) gains a Shell field; bridge.ts AppBindings interface + dev mock + default view updated to match; en/zh strings added.

The TS SandboxView/SettingsView types are wails-generated from the Go structs, so the new shell field is picked up by wails generate on CI.

Verified

  • cd desktop && go build ./... && go test ./ -run 'Settings|Sandbox' green; gofmt clean.
  • en/zh locale parity for the five new keys.
  • Frontend tsc / wails-generated bindings + the AppBindings drift check run on the desktop CI job (the generated types aren't available locally).

@esengine esengine requested a review from SivanCola as a code owner June 12, 2026 06:30
@github-actions github-actions Bot added v2 Go rewrite (1.x) — main-v2 branch, active development desktop Wails desktop app (desktop/**) and removed v2 Go rewrite (1.x) — main-v2 branch, active development labels Jun 12, 2026
Surfaces the [tools.shell] preference (added in #4131) in the desktop Settings
panel so users don't have to hand-edit reasonix.toml. The Sandbox tab gains a
"Shell interpreter" select — auto / bash / PowerShell / pwsh — wired through the
existing SetSandbox apply path (snapshot → reload → resume), with en/zh strings.

Closes #4114
@esengine esengine force-pushed the feat/shell-settings-ui branch from 557a8a8 to d4d2be4 Compare June 12, 2026 06:35
@esengine esengine merged commit 1bc0887 into main-v2 Jun 12, 2026
13 checks passed
@esengine esengine deleted the feat/shell-settings-ui branch June 12, 2026 06:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

desktop Wails desktop app (desktop/**)

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Feature]:希望可以手动指定 Agent 使用的 Shell

1 participant