From 86faa4db03ce27688960c3b03406921803d9b62b Mon Sep 17 00:00:00 2001
From: Emmanuel Bruno <emmanuel.bruno@univ-tln.fr>
Date: Fri, 31 Mar 2023 15:19:13 +0200
Subject: [PATCH] fixes typo.
---
Dockerfile | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Dockerfile b/Dockerfile
index dfde3b3..be4b752 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -97,7 +97,7 @@ RUN --mount=type=cache,target=${PIP_CACHE_DIR} \
PATH=/opt/bin:$PATH code-server \
--user-data-dir $CODESERVERDATA_DIR\
--extensions-dir $CODESERVEREXT_DIR \
- $(cat /tmp/codeserver-extensions|sed 's/./--install-extension &/') && \
+ $(cat /tmp/codeserver_extensions|sed 's/./--install-extension &/') && \
echo -e "\e[93m**** Install ZSH Kernel for Jupyter ****\e[38;5;241m" && \
python3 -m pip install zsh_jupyter_kernel && \
python3 -m zsh_jupyter_kernel.install --sys-prefix && \
--
GitLab