diff options
Diffstat (limited to '.config/jupyter/lab/user-settings/@jupyterlab/extensionmanager-extension/plugin.jupyterlab-settings')
| -rw-r--r-- | .config/jupyter/lab/user-settings/@jupyterlab/extensionmanager-extension/plugin.jupyterlab-settings | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/.config/jupyter/lab/user-settings/@jupyterlab/extensionmanager-extension/plugin.jupyterlab-settings b/.config/jupyter/lab/user-settings/@jupyterlab/extensionmanager-extension/plugin.jupyterlab-settings new file mode 100644 index 0000000..30a2240 --- /dev/null +++ b/.config/jupyter/lab/user-settings/@jupyterlab/extensionmanager-extension/plugin.jupyterlab-settings @@ -0,0 +1,11 @@ +{ + // Extension Manager + // @jupyterlab/extensionmanager-extension:plugin + // Extension manager settings. + // ********************************************* + + // Enabled Status + // Enables extension manager. + // WARNING: installing untrusted extensions may be unsafe. + "enabled": false +}
\ No newline at end of file |