chore: generate
This commit is contained in:
@@ -598,9 +598,8 @@ export const BashTool = Tool.define(
|
|||||||
const ps = Shell.ps(shell)
|
const ps = Shell.ps(shell)
|
||||||
yield* Effect.scoped(
|
yield* Effect.scoped(
|
||||||
Effect.gen(function* () {
|
Effect.gen(function* () {
|
||||||
const tree = yield* Effect.acquireRelease(
|
const tree = yield* Effect.acquireRelease(parse(params.command, ps), (tree) =>
|
||||||
parse(params.command, ps),
|
Effect.sync(() => tree.delete()),
|
||||||
(tree) => Effect.sync(() => tree.delete()),
|
|
||||||
)
|
)
|
||||||
const scan = yield* collect(tree.rootNode, cwd, ps, shell)
|
const scan = yield* collect(tree.rootNode, cwd, ps, shell)
|
||||||
if (!Instance.containsPath(cwd)) scan.dirs.add(cwd)
|
if (!Instance.containsPath(cwd)) scan.dirs.add(cwd)
|
||||||
|
|||||||
Reference in New Issue
Block a user