Microsoft.AppPlatform Spring/DevToolPortals 2023-01-01-preview
Bicep resource definition
The Spring/DevToolPortals resource type can be deployed with operations that target:
- Resource groups - See resource group deployment commands
For a list of changed properties in each API version, see change log.
Resource format
To create a Microsoft.AppPlatform/Spring/DevToolPortals resource, add the following Bicep to your template.
resource symbolicname 'Microsoft.AppPlatform/Spring/DevToolPortals@2023-01-01-preview' = {
name: 'string'
parent: resourceSymbolicName
properties: {
features: {
applicationAccelerator: {
state: 'string'
}
applicationLiveView: {
state: 'string'
}
}
public: bool
ssoProperties: {
clientId: 'string'
clientSecret: 'string'
metadataUrl: 'string'
scopes: [
'string'
]
}
}
}
Property values
Spring/DevToolPortals
| Name | Description | Value |
|---|---|---|
| name | The resource name See how to set names and types for child resources in Bicep. |
string (required) |
| parent | In Bicep, you can specify the parent resource for a child resource. You only need to add this property when the child resource is declared outside of the parent resource. For more information, see Child resource outside parent resource. |
Symbolic name for resource of type: Spring |
| properties | Dev Tool Portal properties payload | DevToolPortalProperties |
DevToolPortalProperties
| Name | Description | Value |
|---|---|---|
| features | Settings for Dev Tool Portal | DevToolPortalFeatureSettings |
| public | Indicates whether the resource exposes public endpoint | bool |
| ssoProperties | Single sign-on related configuration | DevToolPortalSsoProperties |
DevToolPortalFeatureSettings
| Name | Description | Value |
|---|---|---|
| applicationAccelerator | Detail of Accelerator plugin | DevToolPortalFeatureDetail |
| applicationLiveView | Detail of App Live View plugin | DevToolPortalFeatureDetail |
DevToolPortalFeatureDetail
| Name | Description | Value |
|---|---|---|
| state | State of the plugin | 'Disabled' 'Enabled' |
DevToolPortalSsoProperties
| Name | Description | Value |
|---|---|---|
| clientId | The public identifier for the application | string |
| clientSecret | The secret known only to the application and the authorization server | string |
| metadataUrl | The URI of a JSON file with generic OIDC provider configuration. | string |
| scopes | It defines the specific actions applications can be allowed to do on a user's behalf | string[] |
ARM template resource definition
The Spring/DevToolPortals resource type can be deployed with operations that target:
- Resource groups - See resource group deployment commands
For a list of changed properties in each API version, see change log.
Resource format
To create a Microsoft.AppPlatform/Spring/DevToolPortals resource, add the following JSON to your template.
{
"type": "Microsoft.AppPlatform/Spring/DevToolPortals",
"apiVersion": "2023-01-01-preview",
"name": "string",
"properties": {
"features": {
"applicationAccelerator": {
"state": "string"
},
"applicationLiveView": {
"state": "string"
}
},
"public": "bool",
"ssoProperties": {
"clientId": "string",
"clientSecret": "string",
"metadataUrl": "string",
"scopes": [ "string" ]
}
}
}
Property values
Spring/DevToolPortals
| Name | Description | Value |
|---|---|---|
| type | The resource type | 'Microsoft.AppPlatform/Spring/DevToolPortals' |
| apiVersion | The resource api version | '2023-01-01-preview' |
| name | The resource name See how to set names and types for child resources in JSON ARM templates. |
string (required) |
| properties | Dev Tool Portal properties payload | DevToolPortalProperties |
DevToolPortalProperties
| Name | Description | Value |
|---|---|---|
| features | Settings for Dev Tool Portal | DevToolPortalFeatureSettings |
| public | Indicates whether the resource exposes public endpoint | bool |
| ssoProperties | Single sign-on related configuration | DevToolPortalSsoProperties |
DevToolPortalFeatureSettings
| Name | Description | Value |
|---|---|---|
| applicationAccelerator | Detail of Accelerator plugin | DevToolPortalFeatureDetail |
| applicationLiveView | Detail of App Live View plugin | DevToolPortalFeatureDetail |
DevToolPortalFeatureDetail
| Name | Description | Value |
|---|---|---|
| state | State of the plugin | 'Disabled' 'Enabled' |
DevToolPortalSsoProperties
| Name | Description | Value |
|---|---|---|
| clientId | The public identifier for the application | string |
| clientSecret | The secret known only to the application and the authorization server | string |
| metadataUrl | The URI of a JSON file with generic OIDC provider configuration. | string |
| scopes | It defines the specific actions applications can be allowed to do on a user's behalf | string[] |
Terraform (AzAPI provider) resource definition
The Spring/DevToolPortals resource type can be deployed with operations that target:
- Resource groups
For a list of changed properties in each API version, see change log.
Resource format
To create a Microsoft.AppPlatform/Spring/DevToolPortals resource, add the following Terraform to your template.
resource "azapi_resource" "symbolicname" {
type = "Microsoft.AppPlatform/Spring/DevToolPortals@2023-01-01-preview"
name = "string"
parent_id = "string"
body = jsonencode({
properties = {
features = {
applicationAccelerator = {
state = "string"
}
applicationLiveView = {
state = "string"
}
}
public = bool
ssoProperties = {
clientId = "string"
clientSecret = "string"
metadataUrl = "string"
scopes = [
"string"
]
}
}
})
}
Property values
Spring/DevToolPortals
| Name | Description | Value |
|---|---|---|
| type | The resource type | "Microsoft.AppPlatform/Spring/DevToolPortals@2023-01-01-preview" |
| name | The resource name | string (required) |
| parent_id | The ID of the resource that is the parent for this resource. | ID for resource of type: Spring |
| properties | Dev Tool Portal properties payload | DevToolPortalProperties |
DevToolPortalProperties
| Name | Description | Value |
|---|---|---|
| features | Settings for Dev Tool Portal | DevToolPortalFeatureSettings |
| public | Indicates whether the resource exposes public endpoint | bool |
| ssoProperties | Single sign-on related configuration | DevToolPortalSsoProperties |
DevToolPortalFeatureSettings
| Name | Description | Value |
|---|---|---|
| applicationAccelerator | Detail of Accelerator plugin | DevToolPortalFeatureDetail |
| applicationLiveView | Detail of App Live View plugin | DevToolPortalFeatureDetail |
DevToolPortalFeatureDetail
| Name | Description | Value |
|---|---|---|
| state | State of the plugin | "Disabled" "Enabled" |
DevToolPortalSsoProperties
| Name | Description | Value |
|---|---|---|
| clientId | The public identifier for the application | string |
| clientSecret | The secret known only to the application and the authorization server | string |
| metadataUrl | The URI of a JSON file with generic OIDC provider configuration. | string |
| scopes | It defines the specific actions applications can be allowed to do on a user's behalf | string[] |
Feedback
Coming soon: Throughout 2024 we will be phasing out GitHub Issues as the feedback mechanism for content and replacing it with a new feedback system. For more information see: https://aka.ms/ContentUserFeedback.
Submit and view feedback for