Skip to content
Snippets Groups Projects
Commit 02107a3b authored by Emmanuel Bruno's avatar Emmanuel Bruno
Browse files

adds zsh.

parent 8a554490
No related branches found
No related tags found
No related merge requests found
vscjava.vscode-java-pack
redhat.vscode-xml
vscode-icons-team.vscode-icons
SonarSource.sonarlint-vscode
GabrielBB.vscode-lombok
james-yu.latex-workshop
jebbs.plantuml
eamodio.gitlens
ms-python.python
......@@ -75,6 +75,10 @@ ENV PATH=/opt/bin:$PATH
# Enable persistant conda env
COPY condarc /home/jovyan/.condarc
## ZSH Configuration files
ADD zsh/initzsh.sh /tmp/initzsh.sh
ADD zsh/p10k.zsh $HOME/.p10k.zsh
RUN --mount=type=cache,target=${PIP_CACHE_DIR},sharing=locked \
--mount=type=cache,target=/opt/conda/pkgs,sharing=locked \
echo -e "\e[93m***** Install Jupyter Lab Extensions ****\e[38;5;241m" && \
......@@ -103,6 +107,15 @@ RUN --mount=type=cache,target=${PIP_CACHE_DIR},sharing=locked \
--install-extension james-yu.latex-workshop \
--install-extension jebbs.plantuml \
--install-extension eamodio.gitlens && \
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 && \
echo -e "\e[93m**** Configure a nice zsh environment ****\e[38;5;241m" && \
git clone --recursive https://github.com/sorin-ionescu/prezto.git "$HOME/.zprezto" && \
zsh -c /tmp/initzsh.sh && \
sed -i -e "s/zstyle ':prezto:module:prompt' theme 'sorin'/zstyle ':prezto:module:prompt' theme 'powerlevel10k'/" $HOME/.zpreztorc && \
echo "[[ ! -f ~/.p10k.zsh ]] || source ~/.p10k.zsh" >> $HOME/.zshrc && \
echo "PATH=/opt/bin:$PATH" >> $HOME/.zshrc && \
echo -e "\e[93m**** Clean up ****\e[38;5;241m" && \
# npm cache clean --force && \
# mamba clean --all -f -y && \
......@@ -136,6 +149,11 @@ RUN echo -e "\e[93m**** Update Jupyter config ****\e[38;5;241m" && \
jupyter lab --generate-config && \
sed -i -e '/c.ServerApp.root_dir =/ s/= .*/= "\/home\/jovyan\/work"/' \
-e "s/# \(c.ServerApp.root_dir\)/\1/" \
-e '/c.ServerApp.disable_check_xsrf =/ s/= .*/= True/' \
-e 's/# \(c.ServerApp.disable_check_xsrf\)/\1/' \
-e '/c.ServerApp.data_dir =/ s/= .*/= "\/home\/jovyan\/jupyter_data"/' \
-e "/c.ServerApp.terminado_settings =/ s/= .*/= { 'shell_command': ['\/bin\/zsh'] }/" \
-e 's/# \(c.ServerApp.terminado_settings\)/\1/' \
$HOME/.jupyter/jupyter_lab_config.py
RUN ln -s /usr/share/plantuml/plantuml.jar /usr/local/bin/
......
--install-extension vscjava.vscode-java-pack
--install-extension redhat.vscode-xml
--install-extension vscode-icons-team.vscode-icons
--install-extension SonarSource.sonarlint-vscode
--install-extension GabrielBB.vscode-lombok
--install-extension james-yu.latex-workshop
--install-extension jebbs.plantuml
--install-extension eamodio.gitlens
--install-extension ms-python.python
\ No newline at end of file
#!/bin/zsh
setopt EXTENDED_GLOB
for rcfile in "${ZDOTDIR:-$HOME}"/.zprezto/runcoms/^README.md(.N); do
ln -s "$rcfile" "${ZDOTDIR:-$HOME}/.${rcfile:t}"
done
This diff is collapsed.
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment