(error: unknown)
| 32 | export { ShellIntegrationError } from "../../integrations/terminal/types" |
| 33 | |
| 34 | export function canRetryShellIntegrationError(error: unknown): error is ShellIntegrationError { |
| 35 | return error instanceof ShellIntegrationError && !error.commandSubmitted |
| 36 | } |
| 37 | |
| 38 | export function getTerminalProviderForExecution(terminalShellIntegrationDisabled: boolean): { |
| 39 | terminalProvider: RooTerminalProvider |