Download desktop/src/types/settings.ts from chenbhao/codev: direct link, hf CLI and curl.
- Browser
- Download file 2.28 kB
-
https://huggingface.co/chenbhao/codev/resolve/e40073cc959cd4729bf4009662bca374c5c4e266/desktop/src/types/settings.ts
- Command line
-
hf download hf://chenbhao/codev@e40073cc959cd4729bf4009662bca374c5c4e266/desktop/src/types/settings.ts
-
curl -L -o settings.ts https://huggingface.co/chenbhao/codev/resolve/e40073cc959cd4729bf4009662bca374c5c4e266/desktop/src/types/settings.ts
2.28 kB
| // Source: src/server/api/models.ts, src/server/api/settings.ts | |
| export type PermissionMode = 'default' | 'acceptEdits' | 'plan' | 'bypassPermissions' | 'dontAsk' | |
| export type EffortLevel = 'low' | 'medium' | 'high' | 'max' | |
| export const THEME_MODES = ['white', 'light', 'dark'] as const | |
| export type ThemeMode = (typeof THEME_MODES)[number] | |
| export function isThemeMode(value: unknown): value is ThemeMode { | |
| return typeof value === 'string' && (THEME_MODES as readonly string[]).includes(value) | |
| } | |
| export type WebSearchMode = 'auto' | 'anthropic' | 'tavily' | 'brave' | 'disabled' | |
| export type WebSearchSettings = { | |
| mode?: WebSearchMode | |
| tavilyApiKey?: string | |
| braveApiKey?: string | |
| } | |
| export type UpdateProxyMode = 'system' | 'manual' | |
| export type UpdateProxySettings = { | |
| mode: UpdateProxyMode | |
| url: string | |
| } | |
| export type NetworkProxyMode = 'system' | 'manual' | |
| export type NetworkProxySettings = { | |
| mode: NetworkProxyMode | |
| url: string | |
| } | |
| export type NetworkSettings = { | |
| aiRequestTimeoutMs: number | |
| proxy: NetworkProxySettings | |
| } | |
| export type H5AccessSettings = { | |
| enabled: boolean | |
| tokenPreview: string | null | |
| allowedOrigins: string[] | |
| publicBaseUrl: string | null | |
| } | |
| export type DesktopTerminalStartupShell = | |
| | 'system' | |
| | 'pwsh' | |
| | 'powershell' | |
| | 'cmd' | |
| | 'custom' | |
| export type DesktopTerminalSettings = { | |
| startupShell: DesktopTerminalStartupShell | |
| customShellPath: string | |
| } | |
| export type ModelInfo = { | |
| id: string | |
| name: string | |
| description: string | |
| context: string | |
| } | |
| export type UserSettings = { | |
| model?: string | |
| modelContext?: string | |
| effort?: EffortLevel | |
| alwaysThinkingEnabled?: boolean | |
| permissionMode?: PermissionMode | |
| theme?: ThemeMode | |
| skipWebFetchPreflight?: boolean | |
| desktopNotificationsEnabled?: boolean | |
| webSearch?: WebSearchSettings | |
| updateProxy?: Partial<UpdateProxySettings> | |
| network?: { | |
| aiRequestTimeoutMs?: number | |
| proxy?: Partial<NetworkProxySettings> | |
| } | |
| language?: string | |
| desktopTerminal?: Partial<DesktopTerminalSettings> | |
| [key: string]: unknown | |
| } | |
| export type AppMode = 'default' | 'portable' | |
| export type AppModeConfig = { | |
| mode: AppMode | |
| portableDir: string | null | |
| defaultPortableDir: string | null | |
| activeConfigDir?: string | null | |
| configDirSource?: 'system' | 'environment' | 'portable' | |
| } | |