initial commit

.gitignore

@@ -0,0 +1,2 @@
+migrated
+workspaces/

extensions.py

@@ -0,0 +1,28 @@
+#!/usr/bin/env python3
+
+import os
+
+extensions = [
+    '@aquirdturtle/collapsible_headings',
+    '@jupyter-widgets/jupyterlab-manager',
+    '@jupyterlab/celltags',
+    '@jupyterlab/shortcutui',
+    '@jupyterlab/toc',
+    '@krassowski/jupyterlab-lsp',
+    '@krassowski/jupyterlab_go_to_definition',
+    '@lckr/jupyterlab_variableinspector',
+    '@parente/jupyterlab-quickopen',
+    '@ryantam626/jupyterlab_code_formatter',
+    'jupyterlab-jupytext',
+    'jupyterlab-topbar-extension',
+    'jupyterlab_vim',
+]
+
+def install(extension):
+    return os.system(f'jupyter labextension install {extension}')
+
+
+if __name__ == "__main__":
+    for extension in extensions:
+        code = install(extension)
+        print(code, extension)

jupyter_notebook_config.py

@@ -0,0 +1,3 @@
+# Configuration file for jupyter-notebook.
+
+c.NotebookApp.open_browser = False

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 (requires Node.js/npm).
+    // WARNING: installing untrusted extensions may be unsafe.
+    "enabled": true
+}

requirements.yml

@@ -0,0 +1,21 @@
+name: ide
+channels:
+  - defaults
+  - conda-forge
+dependencies:
+  - black
+  - ipyparallel
+  - ipywidgets
+  - jupyterlab
+  - jupyterlab_code_formatter
+  - jupytext
+  - nb_conda
+  - papermill
+  - pip
+  - python-language-server
+  - rise
+  - voila
+  - pip:
+    - jupyter-lsp
+
+# jupyter serverextension enable --py jupyterlab_code_formatter