plugin.json 1.9 KB

12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061
  1. {
  2. "jupyter.lab.setting-icon": "ui-components:settings",
  3. "jupyter.lab.setting-icon-label": "Extension Manager",
  4. "jupyter.lab.menus": {
  5. "main": [
  6. {
  7. "id": "jp-mainmenu-settings",
  8. "items": [
  9. {
  10. "type": "separator",
  11. "rank": 100
  12. },
  13. {
  14. "command": "extensionmanager:toggle",
  15. "rank": 100
  16. },
  17. {
  18. "type": "separator",
  19. "rank": 100
  20. }
  21. ]
  22. }
  23. ]
  24. },
  25. "title": "Extension Manager",
  26. "description": "Extension manager settings.",
  27. "properties": {
  28. "enabled": {
  29. "title": "Enabled Status",
  30. "description": "Enables extension manager (requires Node.js/npm).\nWARNING: installing untrusted extensions may be unsafe.",
  31. "default": false,
  32. "type": "boolean"
  33. },
  34. "disclaimed": {
  35. "title": "Disclaimed Status",
  36. "description": "Whether the user understand that extensions managed through this interface run arbitrary code that may be dangerous",
  37. "default": false,
  38. "type": "boolean"
  39. },
  40. "npmRegistry": {
  41. "title": "NPM Registry",
  42. "description": "The URI of the NPM registry to use for searching for jupyterlab extensions",
  43. "default": "https://registry.npmjs.org/-/v1/",
  44. "type": "string"
  45. },
  46. "npmCdn": {
  47. "title": "NPM CDN",
  48. "description": "The URI of the CDN to use for fetching full package data",
  49. "default": "https://unpkg.com",
  50. "type": "string"
  51. },
  52. "enableCdn": {
  53. "title": "Enable CDN",
  54. "description": "Enables using the CDN to fetch full package data. Otherwise, the configured NPM registry will be used. Due to a lack of CORS support by NPM registry, only disable if supplying a custom registry",
  55. "default": true,
  56. "type": "boolean"
  57. }
  58. },
  59. "additionalProperties": false,
  60. "type": "object"
  61. }