fcollonval · February 2, 2023 12:36
diff --git a/README.md b/README.md
diff --git a/jupyter_config.json b/jupyter_config.json
 {
  "LabApp": { "collaborative": true },
  "ContentsManager": { "allow_hidden": true },
  "FileIdExtension": { "file_id_manager_class": "jupyter_server_fileid.manager.LocalFileIdManager" }
 }
diff --git a/postBuild b/postBuild
 # generate non minified assets so it's easier to step into the code on Binder

 jupyter lab build --minimize=False || true
diff --git a/requirements.txt b/requirements.txt
 jupyterlab>=3.6.0,<3.7.0
 jupyterlab-link-share
 jupyter-server>=2.0.0,<3.0.0
diff --git a/runtime.txt b/runtime.txt
 python-3.10
diff --git a/start b/start
 #!/usr/bin/env python3
 import sys
 import shutil
 import os

 # os.environ["JUPYTERHUB_SINGLEUSER_APP"] = "jupyter_server.serverapp.ServerApp"

 argv = sys.argv[1:] + ["--debug", "--config", "jupyter_config.json"]
 print(argv)

 # Convert from jupyter-notebook based to jupyter-lab based start-up
 def nb2jps(s):
 #     return s
    return s.replace("jupyter-notebook", "jupyter-lab").replace("--NotebookApp.", "--ServerApp.")

 new_argv = list(map(nb2jps, argv.copy()))
 print(new_argv)

 with open(".startup_args.txt", "w") as fid:
    fid.write(str(new_argv))

 os.execv(shutil.which(new_argv[0]), new_argv)
	{
	"LabApp": { "collaborative": true },
	"ContentsManager": { "allow_hidden": true },
	"FileIdExtension": { "file_id_manager_class": "jupyter_server_fileid.manager.LocalFileIdManager" }
	}
	# generate non minified assets so it's easier to step into the code on Binder

	jupyter lab build --minimize=False \|\| true
	#!/usr/bin/env python3
	import sys
	import shutil
	import os

	# os.environ["JUPYTERHUB_SINGLEUSER_APP"] = "jupyter_server.serverapp.ServerApp"

	argv = sys.argv[1:] + ["--debug", "--config", "jupyter_config.json"]
	print(argv)

	# Convert from jupyter-notebook based to jupyter-lab based start-up
	def nb2jps(s):
	# return s
	return s.replace("jupyter-notebook", "jupyter-lab").replace("--NotebookApp.", "--ServerApp.")

	new_argv = list(map(nb2jps, argv.copy()))
	print(new_argv)

	with open(".startup_args.txt", "w") as fid:
	fid.write(str(new_argv))

	os.execv(shutil.which(new_argv[0]), new_argv)