mirror of
https://github.com/wu736139669/hapi.git
synced 2026-11-08 01:38:48 +00:00
fix(hub,cli): keep inactive file previews available through runner (#1727)
* fix(hub,cli): keep inactive file previews available through runner * fix(cli): bound runner workspace file reads * fix(cli): constrain runner git fallback pathspecs * fix(cli): allow dot-prefixed workspace paths
This commit is contained in:
@@ -780,6 +780,49 @@ export type PathExistsResponse = {
|
||||
|
||||
export type MachinePathsExistsResponse = PathExistsResponse
|
||||
|
||||
/** Requests served by the long-lived runner for archived-session file access. */
|
||||
export type WorkspaceReadFileRequest = {
|
||||
cwd: string
|
||||
path: string
|
||||
}
|
||||
|
||||
export type WorkspaceListDirectoryRequest = {
|
||||
cwd: string
|
||||
path?: string
|
||||
}
|
||||
|
||||
export type WorkspaceStatFilesRequest = {
|
||||
cwd: string
|
||||
paths: string[]
|
||||
}
|
||||
|
||||
export type WorkspaceGitStatusRequest = {
|
||||
cwd: string
|
||||
timeout?: number
|
||||
}
|
||||
|
||||
export type WorkspaceGitDiffNumstatRequest = {
|
||||
cwd: string
|
||||
staged?: boolean
|
||||
timeout?: number
|
||||
}
|
||||
|
||||
export type WorkspaceGitDiffFileRequest = {
|
||||
cwd: string
|
||||
filePath: string
|
||||
staged?: boolean
|
||||
timeout?: number
|
||||
}
|
||||
|
||||
export type WorkspaceRipgrepRequest = {
|
||||
cwd: string
|
||||
args: string[]
|
||||
fileSearch?: {
|
||||
query: string
|
||||
limit: number
|
||||
}
|
||||
}
|
||||
|
||||
export type CodexModelSummary = {
|
||||
id: string
|
||||
displayName: string
|
||||
|
||||
Reference in New Issue
Block a user