lint fixes

Azure · Jun 3, 2020 · 0dcd51b · 0dcd51b
1 parent deab6a0
commit 0dcd51b
Showing 1 changed file with 21 additions and 1 deletion.
diff --git a/specification/cloudshell/resource-manager/Microsoft.Portal/stable/2018-10-01/CloudShell.json b/specification/cloudshell/resource-manager/Microsoft.Portal/stable/2018-10-01/CloudShell.json
@@ -340,9 +340,16 @@
             "headers": {
               "x-ms-console-remaining-seconds": {
                 "type": "integer",
+                "format": "int32",
                 "description": "Remaining time left in session, in seconds."
               }
             }
+          },
+          "default": {
+            "description": "Error response describing why the operation failed.",
+            "schema": {
+              "$ref": "#/definitions/ErrorResponse"
+            }
           }
         }
       }
@@ -639,9 +646,16 @@
             "headers": {
               "x-ms-console-remaining-seconds": {
                 "type": "integer",
+                "format": "int32",
                 "description": "Remaining time left in session, in seconds."
               }
             }
+          },
+          "default": {
+            "description": "Error response describing why the operation failed.",
+            "schema": {
+              "$ref": "#/definitions/ErrorResponse"
+            }
           }
         }
       }
@@ -786,7 +800,12 @@
         "properties": {
           "$ref": "#/definitions/UserProperties"
         }
-      }
+      },
+      "allOf": [
+        {
+          "$ref": "#/definitions/Resource"
+        }
+      ]
     },
     "CloudShellUserSettings": {
       "description": "Cloud shell user settings.",
@@ -876,6 +895,7 @@
         },
         "diskSizeInGB": {
           "type": "integer",
+          "format": "int32",
           "description": "Size of file share"
         }
       }