Try to pin server

krassowski · krassowski · commit f7f8ab6f38b8 · 2024-02-22T13:10:57.000Z
diff --git a/binder/environment.yml b/binder/environment.yml
@@ -5,12 +5,13 @@ channels:
   - nodefaults
 
 dependencies:
-  #- python =3.10
+  - python =3.10
   - pip
-  #- jupyterlab >=4.1
+  - jupyterlab >=4.1
   - hatchling >=1.5.0
-  #- ipykernel >=6.29
-  #- notebook >=7.1
+  - ipykernel >=6.29
+  - notebook >=7.1
+  - jupyter_server >=2.12
   - wheel
   - build
   - ipython >=8.22
diff --git a/binder/ipython_config.py b/binder/ipython_config.py
@@ -1 +1 @@
-# c.InteractiveShellApp.extensions = ["ipython_markdown_inspector"]  # noqa: F821
+c.InteractiveShellApp.extensions = ["ipython_markdown_inspector"]  # noqa: F821

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-# c.InteractiveShellApp.extensions = ["ipython_markdown_inspector"] # noqa: F821`
	`1`	`+c.InteractiveShellApp.extensions = ["ipython_markdown_inspector"] # noqa: F821`