From e953e9f96a02898afcbfe2f2d4b6daa5d6561b23 Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Wed, 5 Apr 2023 10:32:51 +0200
Subject: [PATCH] fixes ownership on zprezto.
---
Dockerfile | 5 +++--
1 file changed, 3 insertions(+), 2 deletions(-)
diff --git a/Dockerfile b/Dockerfile
index aaac04b..f93e184 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -117,7 +117,8 @@ RUN --mount=type=cache,target=${PIP_CACHE_DIR} \
fix-permissions "$CODESERVEREXT_DIR" && \
fix-permissions "$CONDA_DIR" && \
fix-permissions /opt/codeserver/extensions && \
- fix-permissions "/home/$NB_USER"
+ fix-permissions "/home/$NB_USER" && \
+ fix-permissions "/home/$NB_USER/.zprezto"
COPY code-server/jupyter_codeserver_config.py /tmp/
COPY code-server/icons $HOME/.jupyter/icons
@@ -148,7 +149,7 @@ RUN echo -e "\e[93m**** Update Jupyter config ****\e[38;5;241m" && \
-e 's/# \(c.ServerApp.terminado_settings\)/\1/' \
$HOME/.jupyter/jupyter_lab_config.py
-RUN jupyter labextension install jupyterlab-jupytext
+RUN pip install jupytext --upgrade
RUN ln -s /usr/share/plantuml/plantuml.jar /usr/local/bin/
--
GitLab