You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: components/gitpod-protocol/data/gitpod-schema.json
+57-1Lines changed: 57 additions & 1 deletion
Original file line number
Diff line number
Diff line change
@@ -255,10 +255,66 @@
255
255
"properties": {
256
256
"plugins": {
257
257
"type": "array",
258
-
"description": "List of plugins which should be installed for users of this workspace. From the JetBrains Marketplace page, find a page of the required plugin, select 'Versions' tab, click any version to copy pluginId (short name such as org.rust.lang) of the plugin you want to install.",
258
+
"description": "List of plugins which should be installed for all JetBrains product for users of this workspace. From the JetBrains Marketplace page, find a page of the required plugin, select 'Versions' tab, click any version to copy pluginId (short name such as org.rust.lang) of the plugin you want to install.",
259
259
"items": {
260
260
"type": "string"
261
261
}
262
+
},
263
+
"intellij": {
264
+
"type": "object",
265
+
"description": "Configure IntelliJ integration",
266
+
"additionalProperties": false,
267
+
"properties": {
268
+
"plugins": {
269
+
"type": "array",
270
+
"description": "List of plugins which should be installed for users of this workspace. From the JetBrains Marketplace page, find a page of the required plugin, select 'Versions' tab, click any version to copy pluginId (short name such as org.rust.lang) of the plugin you want to install.",
271
+
"items": {
272
+
"type": "string"
273
+
}
274
+
}
275
+
}
276
+
},
277
+
"goland": {
278
+
"type": "object",
279
+
"description": "Configure GoLand integration",
280
+
"additionalProperties": false,
281
+
"properties": {
282
+
"plugins": {
283
+
"type": "array",
284
+
"description": "List of plugins which should be installed for users of this workspace. From the JetBrains Marketplace page, find a page of the required plugin, select 'Versions' tab, click any version to copy pluginId (short name such as org.rust.lang) of the plugin you want to install.",
285
+
"items": {
286
+
"type": "string"
287
+
}
288
+
}
289
+
}
290
+
},
291
+
"pycharm": {
292
+
"type": "object",
293
+
"description": "Configure PyCharm integration",
294
+
"additionalProperties": false,
295
+
"properties": {
296
+
"plugins": {
297
+
"type": "array",
298
+
"description": "List of plugins which should be installed for users of this workspace. From the JetBrains Marketplace page, find a page of the required plugin, select 'Versions' tab, click any version to copy pluginId (short name such as org.rust.lang) of the plugin you want to install.",
299
+
"items": {
300
+
"type": "string"
301
+
}
302
+
}
303
+
}
304
+
},
305
+
"phpstorm": {
306
+
"type": "object",
307
+
"description": "Configure PhpStorm integration",
308
+
"additionalProperties": false,
309
+
"properties": {
310
+
"plugins": {
311
+
"type": "array",
312
+
"description": "List of plugins which should be installed for users of this workspace. From the JetBrains Marketplace page, find a page of the required plugin, select 'Versions' tab, click any version to copy pluginId (short name such as org.rust.lang) of the plugin you want to install.",
0 commit comments