set LSP to create virtual documents in jupyter's runtime directory (j…

…upyter-server#265)

Dockerfile

@@ -81,12 +81,15 @@ ENV PATH="${CONDA_DIR}/envs/${CONDA_ENV}/bin:${CONDA_DIR}/bin:${PATH}" \
 # Add the user
 RUN useradd -d ${APP_DIR} -m -s /bin/bash ${NB_USER}
 RUN mkdir -p ${APP_SETTINGS_DIR}
+RUN mkdir -p ${APP_DIR}/.jupyter
+RUN chown -R ${NB_USER}:${NB_USER} /app
 COPY --from=build --chown=${NB_USER}:${NB_USER} ${CONDA_DIR} ${CONDA_DIR}
 COPY --chown=${NB_USER}:${NB_USER} deployment/config/condarc ${APP_DIR}/.condarc
 COPY --chown=${NB_USER}:${NB_USER} deployment/config/npmrc ${APP_DIR}/.npmrc
 COPY --chown=${NB_USER}:${NB_USER} deployment/config/yarnrc ${APP_DIR}/.yarnrc
 COPY --chown=${NB_USER}:${NB_USER} deployment/config/gitconfig ${APP_DIR}/.gitconfig
 COPY --chown=${NB_USER}:${NB_USER} deployment/config/overrides.json ${APP_SETTINGS_DIR}
+COPY --chown=${NB_USER}:${NB_USER} deployment/config/jupyter_config.py ${APP_DIR}/.jupyter/jupyter_config.py
 COPY --chown=${NB_USER}:${NB_USER} version ${APP_DIR}
 COPY --chown=${NB_USER}:${NB_USER} deployment ${APP_DIR}
 

deployment/config/jupyter_config.py

@@ -0,0 +1,12 @@
+"""Use this file to configure Jupyter Server and its extensions
+"""
+import os
+
+from jupyter_core.paths import jupyter_runtime_dir
+from traitlets.config import get_config
+
+c = get_config()
+
+c.LanguageServerManager.virtual_documents_dir = os.path.join(
+    jupyter_runtime_dir(), ".virtual_documents"
+)