Coder/deepseek-harness
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

chore(bash): mark bashEnv ownership FIXME

Browse Source
This commit is contained in:
Tianyi Cui
2026-08-02 00:57:15 +08:00
parent 00f156fcde
commit 2309f97a16
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
packages/bash/tool-bash/src/index.ts
View File

@@ -354,6 +354,9 @@ const BACKGROUND_OUTPUT_PROPERTIES = {
} as const } as const
export function apply(ctx: Context, config: Config = {}): void { export function apply(ctx: Context, config: Config = {}): void {
// FIXME(bash-env-ownership): Move ctx.bashEnv to a tool-independent shell
// environment plugin; replacing this tool with persistent Bash must not
// remove the managed DSH_* contributor seam.
const bashEnv = new BashEnvRegistry(ctx, config) const bashEnv = new BashEnvRegistry(ctx, config)
bashEnv.register({ bashEnv.register({
name: 'session-persistence', name: 'session-persistence',