update some tested install docs, make github skipping less janky

Author: bollwyvl

docs/Installation.ipynb

@@ -52,10 +52,17 @@
     "conda create -c conda-forge -n lsp 'python >=3.7,<3.8' 'jupyterlab=1.2' 'nodejs=11' python-language-server\n",
     "# Also consider: r-languageserver [*]\n",
     "source activate lsp\n",
-    "pip install jupyter_lsp=0.7 --no-deps\n",
-    "jupyter lab build\n",
+    "python -m pip install 'jupyter_lsp=0.7' --no-deps\n",
+    "jupyter labextension install '@krassowski/[email protected]'\n",
+    "```\n",
+    "\n",
+    "Then run\n",
+    "\n",
+    "```bash\n",
     "jupyter lab\n",
-    "```"
+    "```\n",
+    "\n",
+    "Your browser should open to your local server."
    ]
   },
   {
@@ -65,7 +72,9 @@
     "#### docker (data science)\n",
     "\n",
     "This approach is based roughly on the\n",
-    "[Jupyter docker-stacks documentation](https://github.com/jupyter/docker-stacks/tree/master/examples/docker-compose/notebook)."
+    "[Jupyter docker-stacks documentation](https://github.com/jupyter/docker-stacks/tree/master/examples/docker-compose/notebook),\n",
+    "which should be consulted for more about connecting volumes, passwords, and\n",
+    "other advanced features:"
    ]
   },
   {
@@ -75,21 +84,23 @@
     "##### `Dockerfile`\n",
     "\n",
     "```dockerfile\n",
-    "FROM jupyter/datascience-notebook:18ef2702c6a2\n",
+    "# This already contains the python, r, julia, and nodejs runtimes as well as jupyterlab 1.25\n",
+    "FROM jupyter/datascience-notebook@sha256:73a577b006b496e1a1c02f5be432f4aab969c456881c4789e0df77c89a0a60c2\n",
     "\n",
     "RUN conda install --quiet --yes --freeze-installed \\\n",
-    "        'jupyterlab=1.2' \\\n",
-    "        'nodejs=11' \\\n",
-    "        'python-language-server' \\\n",
-    "        'r-languageserver' \\\n",
-    "    && pip install \\\n",
-    "        'jupyter_lsp=0.7' \\\n",
-    "    && conda clean --all -f -y \\\n",
-    "    && fix-permissions \"$CONDA_DIR\" \\\n",
-    "    && fix-permissions \"/home/$NB_USER\" \\\n",
-    "    && jupyter lab build \\\n",
-    "    && jlpm cache clean \\\n",
-    "    && rm -rf \"$CONDA_DIR/share/jupyter/lab/{staging}\"\n",
+    "    'python-language-server' \\\n",
+    "    'r-languageserver' \\\n",
+    "  && python3 -m pip install --no-cache-dir --no-deps \\\n",
+    "    'jupyter_lsp==0.7' \\\n",
+    "  && jupyter labextension install --no-build \\\n",
+    "    '@krassowski/[email protected]' \\\n",
+    "  && jupyter lab build --dev-build=False --minimize=True \\\n",
+    "  && conda clean --all -f -y \\\n",
+    "  && rm -rf \\\n",
+    "    $CONDA_DIR/share/jupyter/lab/staging \\\n",
+    "    /home/$NB_USER/.cache/yarn \\\n",
+    "  && fix-permissions $CONDA_DIR \\\n",
+    "  && fix-permissions /home/$NB_USER\n",
     "```"
    ]
   },
@@ -103,22 +114,10 @@
     "version: '2'\n",
     "\n",
     "services:\n",
-    "  notebook:\n",
+    "  lsp-lab:\n",
     "    build: .\n",
-    "    image: jupyterlab-lsp-notebook\n",
-    "    container_name: ${NAME}\n",
-    "    volumes:\n",
-    "      - 'work:/home/jovyan/work'\n",
     "    ports:\n",
-    "      - '${PORT}:8888'\n",
-    "    environment:\n",
-    "      USE_HTTPS: 'yes'\n",
-    "      PASSWORD: ${PASSWORD}\n",
-    "\n",
-    "volumes:\n",
-    "  work:\n",
-    "    external:\n",
-    "      name: ${WORK_VOLUME}\n",
+    "      - '18888:8888'\n",
     "```"
    ]
   },
@@ -129,8 +128,11 @@
     "##### Build and Start\n",
     "\n",
     "```bash\n",
-    "PORT=8899 NAME=lsp PASSWORD=change-me-silly WORK_VOLUME=. docker-compose up\n",
-    "```"
+    "docker-compose up\n",
+    "```\n",
+    "\n",
+    "You should now be able to access `http://localhost:18888/lab`, using the `token`\n",
+    "provided in the log."
    ]
   },
   {

docs/_templates/breadcrumbs.html

@@ -36,7 +36,7 @@
     {% endblock %}
     {% block breadcrumbs_aside %}
       <li class="wy-breadcrumbs-aside">
-        {% if hasdoc(pagename) and pagename not in ["search", "genindex"] %}
+        {% if hasdoc(pagename) and pagename not in hide_github_pagenames %}
             {% if display_github %}
             {% if check_meta and 'github_url' in meta %}
               <!-- User defined GitHub URL -->

docs/conf.py

@@ -92,6 +92,8 @@
 
 html_context = {
     "display_github": True,
+    # these automatically-generated pages will create broken links
+    "hide_github_pagenames": ["search", "genindex"],
     "github_user": github_repo_org,
     "github_repo": github_repo_name,
     "github_version": "master",