get Dev Tool Portal
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
dev Tool Portal Name
The name of Dev Tool Portal.
resource Group Name
The name of the resource group that contains the resource. You can obtain this value from the Azure Resource Manager API or the portal.
service Name
The name of the Service resource.
See also
suspend fun getDevToolPortal(argument: suspend GetDevToolPortalPlainArgsBuilder.() -> Unit): GetDevToolPortalResult
Return
Dev Tool Portal resource
Parameters
argument
Builder for com.pulumi.azurenative.appplatform.kotlin.inputs.GetDevToolPortalPlainArgs.