Fix binder overrides setup

krassowski · web-flow · commit c8c39a209b7c · 2022-01-02T11:53:55.000Z
diff --git a/binder/overrides.json b/binder/overrides.json
@@ -1,5 +1,5 @@
 {
-  "@krassowski/jupyterlab-lsp/plugin": {
+  "@krassowski/jupyterlab-lsp:plugin": {
     "language_servers": {
       "robotframework_ls": {
         "serverSettings": {
diff --git a/binder/postBuild b/binder/postBuild
@@ -24,5 +24,6 @@ jupyter server extension list
 jupyter labextension list
 
 if [ "$NB_USER" = "jovyan" ]; then
+    mkdir -p $NB_PYTHON_PREFIX/share/jupyter/lab/settings/
     cp binder/overrides.json $NB_PYTHON_PREFIX/share/jupyter/lab/settings/
 fi

Original file line number	Diff line number	Diff line change
`@@ -1,5 +1,5 @@`
`1`	`1`	`{`
`2`		`- "@krassowski/jupyterlab-lsp/plugin": {`
	`2`	`+ "@krassowski/jupyterlab-lsp:plugin": {`
`3`	`3`	`"language_servers": {`
`4`	`4`	`"robotframework_ls": {`
`5`	`5`	`"serverSettings": {`