import * as pulumi from "@pulumi/pulumi"; /** * Use this data source to access information about an existing Dev Center Project Pool. * * ## Example Usage * * ```typescript * import * as pulumi from "@pulumi/pulumi"; * import * as azure from "@pulumi/azure"; * * const example = azure.devcenter.getProjectPool({ * name: exampleAzurermDevCenterProjectPool.name, * devCenterProjectId: exampleAzurermDevCenterProjectPool.devCenterProjectId, * }); * export const id = example.then(example => example.id); * ``` * * ## API Providers * * * This data source uses the following Azure API Providers: * * * `Microsoft.DevCenter` - 2025-02-01 */ export declare function getProjectPool(args: GetProjectPoolArgs, opts?: pulumi.InvokeOptions): Promise; /** * A collection of arguments for invoking getProjectPool. */ export interface GetProjectPoolArgs { /** * The ID of the associated Dev Center Project. */ devCenterProjectId: string; /** * The name of this Dev Center Project Pool. */ name: string; } /** * A collection of values returned by getProjectPool. */ export interface GetProjectPoolResult { /** * The name of the Dev Center Dev Box Definition. */ readonly devBoxDefinitionName: string; /** * The name of the Dev Center Attached Network in parent Project of the Dev Center Project Pool. */ readonly devCenterAttachedNetworkName: string; readonly devCenterProjectId: string; /** * The provider-assigned unique ID for this managed resource. */ readonly id: string; /** * Specifies whether owners of Dev Boxes in the Dev Center Project Pool are added as local administrators on the Dev Box. */ readonly localAdministratorEnabled: boolean; /** * The Azure Region where the Dev Center Project Pool exists. */ readonly location: string; readonly name: string; /** * Specifies whether Dev Boxes in the Pool will have SSO enabled or disabled. */ readonly singleSignOnEnabled: boolean; /** * The specified time in minutes to wait before stopping a Dev Center Dev Box once disconnect is detected. */ readonly stopOnDisconnectGracePeriodMinutes: number; /** * A mapping of tags assigned to the Dev Center Project Pool. */ readonly tags: { [key: string]: string; }; } /** * Use this data source to access information about an existing Dev Center Project Pool. * * ## Example Usage * * ```typescript * import * as pulumi from "@pulumi/pulumi"; * import * as azure from "@pulumi/azure"; * * const example = azure.devcenter.getProjectPool({ * name: exampleAzurermDevCenterProjectPool.name, * devCenterProjectId: exampleAzurermDevCenterProjectPool.devCenterProjectId, * }); * export const id = example.then(example => example.id); * ``` * * ## API Providers * * * This data source uses the following Azure API Providers: * * * `Microsoft.DevCenter` - 2025-02-01 */ export declare function getProjectPoolOutput(args: GetProjectPoolOutputArgs, opts?: pulumi.InvokeOutputOptions): pulumi.Output; /** * A collection of arguments for invoking getProjectPool. */ export interface GetProjectPoolOutputArgs { /** * The ID of the associated Dev Center Project. */ devCenterProjectId: pulumi.Input; /** * The name of this Dev Center Project Pool. */ name: pulumi.Input; }