dev_tool_portals
Creates, updates, deletes, gets or lists a dev_tool_portals
resource.
Overview
Name | dev_tool_portals |
Type | Resource |
Id | azure.spring_apps.dev_tool_portals |
Fields
- vw_dev_tool_portals
- dev_tool_portals
Name | Datatype | Description |
---|---|---|
components | text | field from the properties object |
devToolPortalName | text | field from the properties object |
features | text | field from the properties object |
provisioning_state | text | field from the properties object |
public | text | field from the properties object |
resourceGroupName | text | field from the properties object |
serviceName | text | field from the properties object |
sso_properties | text | field from the properties object |
subscriptionId | text | field from the properties object |
url | text | field from the properties object |
Name | Datatype | Description |
---|---|---|
properties | object | Dev Tool Portal properties payload |
Methods
Name | Accessible by | Required Params | Description |
---|---|---|---|
get | SELECT | devToolPortalName, resourceGroupName, serviceName, subscriptionId | Get the Application Live and its properties. |
list | SELECT | resourceGroupName, serviceName, subscriptionId | Handles requests to list all resources in a Service. |
create_or_update | INSERT | devToolPortalName, resourceGroupName, serviceName, subscriptionId | Create the default Dev Tool Portal or update the existing Dev Tool Portal. |
delete | DELETE | devToolPortalName, resourceGroupName, serviceName, subscriptionId | Disable the default Dev Tool Portal. |
SELECT
examples
Handles requests to list all resources in a Service.
- vw_dev_tool_portals
- dev_tool_portals
SELECT
components,
devToolPortalName,
features,
provisioning_state,
public,
resourceGroupName,
serviceName,
sso_properties,
subscriptionId,
url
FROM azure.spring_apps.vw_dev_tool_portals
WHERE resourceGroupName = '{{ resourceGroupName }}'
AND serviceName = '{{ serviceName }}'
AND subscriptionId = '{{ subscriptionId }}';
SELECT
properties
FROM azure.spring_apps.dev_tool_portals
WHERE resourceGroupName = '{{ resourceGroupName }}'
AND serviceName = '{{ serviceName }}'
AND subscriptionId = '{{ subscriptionId }}';
INSERT
example
Use the following StackQL query and manifest file to create a new dev_tool_portals
resource.
- All Properties
- Manifest
/*+ create */
INSERT INTO azure.spring_apps.dev_tool_portals (
devToolPortalName,
resourceGroupName,
serviceName,
subscriptionId,
properties
)
SELECT
'{{ devToolPortalName }}',
'{{ resourceGroupName }}',
'{{ serviceName }}',
'{{ subscriptionId }}',
'{{ properties }}'
;
- name: your_resource_model_name
props:
- name: properties
value:
- name: provisioningState
value: string
- name: components
value:
- - name: name
value: string
- name: resourceRequests
value:
- name: cpu
value: string
- name: memory
value: string
- name: instanceCount
value: integer
- name: instances
value:
- - name: name
value: string
- name: status
value: string
- name: public
value: boolean
- name: url
value: string
- name: ssoProperties
value:
- name: scopes
value:
- string
- name: clientId
value: string
- name: clientSecret
value: string
- name: metadataUrl
value: string
- name: features
value:
- name: applicationAccelerator
value:
- name: state
value: string
- name: route
value: string
DELETE
example
Deletes the specified dev_tool_portals
resource.
/*+ delete */
DELETE FROM azure.spring_apps.dev_tool_portals
WHERE devToolPortalName = '{{ devToolPortalName }}'
AND resourceGroupName = '{{ resourceGroupName }}'
AND serviceName = '{{ serviceName }}'
AND subscriptionId = '{{ subscriptionId }}';