get Dev Tool Portal
Get the Application Live and its properties. Azure REST API version: 2023-05-01-preview. Other available API versions: 2023-07-01-preview, 2023-09-01-preview, 2023-11-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
See also
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.
suspend fun getDevToolPortal(argument: suspend GetDevToolPortalPlainArgsBuilder.() -> Unit): GetDevToolPortalResult
Return
Dev Tool Portal resource
See also
Parameters
argument
Builder for com.pulumi.azurenative.appplatform.kotlin.inputs.GetDevToolPortalPlainArgs.