Skip to main content

dev_tool_portals

Creates, updates, deletes, gets or lists a dev_tool_portals resource.

Overview

Namedev_tool_portals
TypeResource
Idazure.spring_apps.dev_tool_portals

Fields

NameDatatypeDescription
componentstextfield from the properties object
devToolPortalNametextfield from the properties object
featurestextfield from the properties object
provisioning_statetextfield from the properties object
publictextfield from the properties object
resourceGroupNametextfield from the properties object
serviceNametextfield from the properties object
sso_propertiestextfield from the properties object
subscriptionIdtextfield from the properties object
urltextfield from the properties object

Methods

NameAccessible byRequired ParamsDescription
getSELECTdevToolPortalName, resourceGroupName, serviceName, subscriptionIdGet the Application Live and its properties.
listSELECTresourceGroupName, serviceName, subscriptionIdHandles requests to list all resources in a Service.
create_or_updateINSERTdevToolPortalName, resourceGroupName, serviceName, subscriptionIdCreate the default Dev Tool Portal or update the existing Dev Tool Portal.
deleteDELETEdevToolPortalName, resourceGroupName, serviceName, subscriptionIdDisable the default Dev Tool Portal.

SELECT examples

Handles requests to list all resources in a Service.

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 }}';

INSERT example

Use the following StackQL query and manifest file to create a new dev_tool_portals resource.

/*+ create */
INSERT INTO azure.spring_apps.dev_tool_portals (
devToolPortalName,
resourceGroupName,
serviceName,
subscriptionId,
properties
)
SELECT
'{{ devToolPortalName }}',
'{{ resourceGroupName }}',
'{{ serviceName }}',
'{{ subscriptionId }}',
'{{ properties }}'
;

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 }}';