Develop #16

Merged
tao.chen merged 273 commits from develop into main 2026-08-21 10:42:09 +08:00
Showing only changes of commit a27cda5a0c - Show all commits
+1 -1
View File
@@ -203,7 +203,7 @@ async def start_workspace(ws_id: str) -> dict:
"--allow-root", "--allow-root",
f"--ServerApp.token={token}", f"--ServerApp.token={token}",
f"--ServerApp.base_url={base_path}", f"--ServerApp.base_url={base_path}",
f"--notebook-dir={workspace_path}", # f"--notebook-dir={workspace_path}",
f"--ServerApp.root_dir={workspace_path}", f"--ServerApp.root_dir={workspace_path}",
"--ServerApp.terminals_enabled=False", "--ServerApp.terminals_enabled=False",
"--NotebookApp.terminals_enabled=False", "--NotebookApp.terminals_enabled=False",