Method getProfileShell

src/integrations/terminal/Terminal.ts:512–588

* Resolves the configured VS Code terminal profile (see `terminalProfile` * setting / Terminal.getTerminalProfile) into a shell path and args by * reading VS Code's `terminal.integrated.profiles. ` configuration. * * This reuses VS Code's terminal profile concept so users ca

(
		platform: NodeJS.Platform = process.platform,
	)

	 *   configured or the profile cannot be resolved (default behavior).
	 */
	public static getProfileShell(
		platform: NodeJS.Platform = process.platform,
	): { shellPath: string; shellArgs?: string[]; env?: Record<string, string | null> } | undefined {
		const profileName = Terminal.getTerminalProfile()

		if (!profileName) {
			return undefined
		}

		const platformKey = Terminal.getPlatformProfileKey(platform)

		const profiles = Terminal.getConfiguredProfiles(platform)

		const profile = profiles?.[profileName] as
			| {
					path?: string | string[]
					args?: string | string[]
					source?: string
					env?: Record<string, unknown>
			  }
			| null
			| undefined

		if (!profile) {
			console.warn(`[Terminal] Configured terminal profile "${profileName}" not found for ${platformKey}.`)
			return undefined
		}

		const pathValue = Terminal.resolveProfilePath(profile.path, platform)

		if (!pathValue) {
			// Profiles defined only by `source` (e.g. "PowerShell") can't be mapped to
			// a shell path here, so we fall back to the default terminal.
			console.warn(
				`[Terminal] Terminal profile "${profileName}" has no resolvable "path"; using default terminal.`,
			)
			return undefined
		}

		const shellArgs = Array.isArray(profile.args)
			? profile.args.filter((arg): arg is string => typeof arg === "string")
			: typeof profile.args === "string"
				? [profile.args]
				: undefined

		// VS Code profiles may declare their own `env` (e.g. to set a UTF-8 locale or
		// a custom PATH). Preserve it so the inline terminal doesn't lose environment
		// the user configured on the profile. A `null` value unsets that variable.
		// Values come from user `settings.json`, so sanitize to string/null only.
		let env: Record<string, string | null> | undefined

		if (profile.env && typeof profile.env === "object") {
			const sanitized: Record<string, string | null> = {}
			const blockedKeys = new Set([
				"ZDOTDIR",
				"PROMPT_COMMAND",
				"LD_PRELOAD",
				"LD_LIBRARY_PATH",