12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061 |
- {
- "jupyter.lab.setting-icon": "ui-components:settings",
- "jupyter.lab.setting-icon-label": "Extension Manager",
- "jupyter.lab.menus": {
- "main": [
- {
- "id": "jp-mainmenu-settings",
- "items": [
- {
- "type": "separator",
- "rank": 100
- },
- {
- "command": "extensionmanager:toggle",
- "rank": 100
- },
- {
- "type": "separator",
- "rank": 100
- }
- ]
- }
- ]
- },
- "title": "Extension Manager",
- "description": "Extension manager settings.",
- "properties": {
- "enabled": {
- "title": "Enabled Status",
- "description": "Enables extension manager (requires Node.js/npm).\nWARNING: installing untrusted extensions may be unsafe.",
- "default": false,
- "type": "boolean"
- },
- "disclaimed": {
- "title": "Disclaimed Status",
- "description": "Whether the user understand that extensions managed through this interface run arbitrary code that may be dangerous",
- "default": false,
- "type": "boolean"
- },
- "npmRegistry": {
- "title": "NPM Registry",
- "description": "The URI of the NPM registry to use for searching for jupyterlab extensions",
- "default": "https://registry.npmjs.org/-/v1/",
- "type": "string"
- },
- "npmCdn": {
- "title": "NPM CDN",
- "description": "The URI of the CDN to use for fetching full package data",
- "default": "https://unpkg.com",
- "type": "string"
- },
- "enableCdn": {
- "title": "Enable CDN",
- "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",
- "default": true,
- "type": "boolean"
- }
- },
- "additionalProperties": false,
- "type": "object"
- }
|