Run doc server along with jupyter server

[kwankyu]

Sage documentation links in help menu have been long broken in jupyterlab notebook interface, although they work fine in jupyter notebook interface.

Jupyterlab loads local files (sage documentation files) in iframe tag. This is problematic and it seems hopeless to make this work. A proper way is to run local http server serving the doc along with jupyter(lab) notebook server.

The branch uses thread parallelism to run sage doc server.

Try the branch with sage --notebook=jupyterlab. This runs a light-weight sage doc server at http://localhost:<SAGE_DOC_LOCAL_PORT>, where the environment variable SAGE_DOC_LOCAL_PORT defaults to 8000.

Set export SAGE_DOC_SERVER_URL=https://doc.sagemath.org before running sage --notebook=jupyterlab to use the public doc server. This will be useful for jupyterhub users.

Component: notebook

Author: Kwankyu Lee

Branch/Commit: public/run_doc_server @ 70bdf46

Issue created by migration from https://trac.sagemath.org/ticket/34794

[kwankyu]

Author: Kwankyu Lee

[kwankyu]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-
+Running jupyter notebook runs sage doc server along it so that sage documentation is available in notebook environment.

[kwankyu]

Branch: u/klee/run_doc_server_along_with_jupyter_server

[kwankyu]

Commit: 8b636bf

[kwankyu]

Changed branch from u/klee/run_doc_server_along_with_jupyter_server to public/run_doc_server

[kwankyu]

New commits:

8b636bf

Run sage doc server for notebooks

[kwankyu]

Description changed:

--- 
+++ 
@@ -1 +1,5 @@
-Running jupyter notebook runs sage doc server along it so that sage documentation is available in notebook environment.
+Sage documentation links in `help` menu has been long broken in jupyterlab notebook interface.
+
+A proper fix  is to run local http server serving sage doc along with jupyter(lab) notebook server.
+
+

[kwankyu]

Description changed:

--- 
+++ 
@@ -1,5 +1,7 @@
-Sage documentation links in `help` menu has been long broken in jupyterlab notebook interface.
+Sage documentation links in `help` menu have been long broken in jupyterlab notebook interface.
 
-A proper fix  is to run local http server serving sage doc along with jupyter(lab) notebook server.
+A proper fix is to run local http server serving sage doc along with jupyter(lab) notebook server.
+
+The branch uses thread parallelism to run sage doc server.
 
 

[kwankyu]

Description changed:

--- 
+++ 
@@ -4,4 +4,6 @@
 
 The branch uses thread parallelism to run sage doc server.
 
+Try the branch with `sage --notebook=jupyterlab`
 
+

[kwankyu]

Description changed:

--- 
+++ 
@@ -1,6 +1,6 @@
-Sage documentation links in `help` menu have been long broken in jupyterlab notebook interface.
+Sage documentation links in `help` menu have been long broken in jupyterlab notebook interface. By the way, they work well in jupyter notebook interface.
 
-A proper fix is to run local http server serving sage doc along with jupyter(lab) notebook server.
+Jupyterlab loads local files (sage documentation files) in `iframe` tag. This is problematic and it seems hopeless to make this work. A proper way is to run local http server serving the doc along with jupyter(lab) notebook server.
 
 The branch uses thread parallelism to run sage doc server.