(platform: NodeJS.Platform = process.platform)
| 444 | } |
| 445 | |
| 446 | public static isActiveShellFish(platform: NodeJS.Platform = process.platform): boolean { |
| 447 | const profileOverride = Terminal.getTerminalProfile() |
| 448 | |
| 449 | if (profileOverride) { |
| 450 | const profileShell = Terminal.getProfileShell(platform) |
| 451 | return profileShell?.shellPath ? Terminal.isFish(profileShell.shellPath) : false |
| 452 | } |
| 453 | |
| 454 | const defaultProfileName = Terminal.getConfiguredDefaultProfileName(platform) |
| 455 | |
| 456 | if (!defaultProfileName) { |
| 457 | return false |
| 458 | } |
| 459 | |
| 460 | const profiles = Terminal.getConfiguredProfiles(platform) |
| 461 | const profile = profiles[defaultProfileName] as { path?: unknown } | null | undefined |
| 462 | |
| 463 | if (!profile) { |
| 464 | return false |
| 465 | } |
| 466 | |
| 467 | const resolved = Terminal.resolveProfilePath(profile.path, platform) |
| 468 | return resolved ? Terminal.isFish(resolved) : false |
| 469 | } |
| 470 | |
| 471 | public static getAvailableProfileNames(platform: NodeJS.Platform = process.platform): string[] { |
| 472 | const names: string[] = [] |
no test coverage detected