chore: generate
This commit is contained in:
@@ -328,9 +328,9 @@ export namespace Ripgrep {
|
||||
}
|
||||
}
|
||||
|
||||
return spawner.streamLines(
|
||||
ChildProcess.make(args[0], args.slice(1), { cwd: input.cwd }),
|
||||
).pipe(Stream.filter((line: string) => line.length > 0))
|
||||
return spawner
|
||||
.streamLines(ChildProcess.make(args[0], args.slice(1), { cwd: input.cwd }))
|
||||
.pipe(Stream.filter((line: string) => line.length > 0))
|
||||
})
|
||||
|
||||
return Service.of({
|
||||
|
||||
@@ -51,7 +51,11 @@ export const GlobTool = Tool.defineEffect(
|
||||
Effect.gen(function* () {
|
||||
const full = path.resolve(search, file)
|
||||
const info = yield* fs.stat(full).pipe(Effect.catch(() => Effect.succeed(undefined)))
|
||||
const mtime = info?.mtime.pipe(Option.map((d) => d.getTime()), Option.getOrElse(() => 0)) ?? 0
|
||||
const mtime =
|
||||
info?.mtime.pipe(
|
||||
Option.map((d) => d.getTime()),
|
||||
Option.getOrElse(() => 0),
|
||||
) ?? 0
|
||||
return { path: full, mtime }
|
||||
}),
|
||||
),
|
||||
|
||||
Reference in New Issue
Block a user