import * as performance from "../../../base/common/performance.js";
import { OperatingSystem } from "../../../base/common/platform.js";
import { URI } from "../../../base/common/uri.js";
import { IUserDataProfile } from "../../userDataProfile/common/userDataProfile.js";
export interface IRemoteAgentEnvironment {
    pid: number;
    connectionToken: string;
    appRoot: URI;
    tmpDir: URI;
    settingsPath: URI;
    mcpResource: URI;
    logsPath: URI;
    extensionHostLogsPath: URI;
    globalStorageHome: URI;
    workspaceStorageHome: URI;
    localHistoryHome: URI;
    userHome: URI;
    os: OperatingSystem;
    arch: string;
    marks: performance.PerformanceMark[];
    useHostProxy: boolean;
    profiles: {
        all: IUserDataProfile[];
        home: URI;
    };
    isUnsupportedGlibc: boolean;
    reconnectionGraceTime?: number;
}
export interface RemoteAgentConnectionContext {
    remoteAuthority: string;
    clientId: string;
}