getDevToolPortal

Get the Application Live and its properties. Uses Azure REST API version 2023-05-01-preview. Other available API versions: 2023-07-01-preview, 2023-09-01-preview, 2023-11-01-preview, 2023-12-01, 2024-01-01-preview, 2024-05-01-preview.

Return

Dev Tool Portal resource

Parameters

argument

null


suspend fun getDevToolPortal(devToolPortalName: String, resourceGroupName: String, serviceName: String): GetDevToolPortalResult

Return

Dev Tool Portal resource

Parameters

devToolPortalName

The name of Dev Tool Portal.

resourceGroupName

The name of the resource group that contains the resource. You can obtain this value from the Azure Resource Manager API or the portal.

serviceName

The name of the Service resource.

See also


Return

Dev Tool Portal resource

Parameters

argument

Builder for com.pulumi.azurenative.appplatform.kotlin.inputs.GetDevToolPortalPlainArgs.

See also