IReplSessionInfo

Provides read-only information about the current REPL session. Injectable as a handler parameter to inspect client and transport properties.

API

• Kind: Interface
• Namespace: Repl
• Assembly: Repl.Core
• Source: src/Repl.Core/IReplSessionInfo.cs

Signature

public interface IReplSessionInfo

Properties

AnsiSupported

Gets a value indicating whether the client supports ANSI/VT escape sequences.

bool AnsiSupported { get; }

Returns

bool

RemotePeer

Gets remote peer information for the active session (for example “203.0.113.7:50124”), or null when unknown.

string? RemotePeer { get; }

Returns

string

ShellIntegrationStatus

Gets a human-readable snapshot of the shell-integration mark autodetection for the current interactive prompt cycle: the active protocol ("OSC 133", "OSC 633 (VS Code)") or "off ()" naming the gate that disabled emission. null when no interactive prompt cycle has run in this scope (for example CLI one-shot execution). Informational only — the string format is not a stable contract.

string? ShellIntegrationStatus { get; }

Returns

string

TerminalCapabilities

Gets the terminal capability flags reported or inferred for the current session.

TerminalCapabilities TerminalCapabilities { get; }

Returns

TerminalCapabilities

TerminalIdentity

Gets the terminal identity reported by the client (e.g. “xterm-256color”), or null when unknown.

string? TerminalIdentity { get; }

Returns

string

TransportName

Gets the transport name (e.g. “websocket”, “telnet”, “signalr”), or null for local console.

string? TransportName { get; }

Returns

string

WindowSize

Gets the current terminal window size, or null when unknown. This value updates live as the client resizes.

(int Width, int Height)? WindowSize { get; }

Returns

(int Width, int Height)?