From eef5d6ba2665b52aa4120b76dbdd4c22be5afb3a Mon Sep 17 00:00:00 2001 From: Keijo Laas Date: Fri, 14 Jun 2024 15:27:11 +0300 Subject: [PATCH] Add: zsh & oh-my-zsh --- Dockerfile | 23 ++++++++++++++++++----- 1 file changed, 18 insertions(+), 5 deletions(-) diff --git a/Dockerfile b/Dockerfile index e0b92da..50cd606 100644 --- a/Dockerfile +++ b/Dockerfile @@ -30,20 +30,33 @@ RUN chmod g+rw /home && \ chown -R theia:theia /home/theia && \ chown -R theia:theia /home/workspace; -RUN apk add --no-cache git openssh bash libsecret +RUN apk add --no-cache git openssh bash libsecret curl zsh shadow -ENV HOME /home/theia +ENV HOME=/home/theia \ + SHELL=/bin/zsh \ + THEIA_DEFAULT_PLUGINS=local-dir:/home/theia/plugins + +RUN sh -c "$(curl -fsSL https://raw.github.com/ohmyzsh/ohmyzsh/master/tools/install.sh)" + +RUN cat < "$HOME/.zshrc" +export ZSH="\$HOME/.oh-my-zsh" +ZSH_THEME="gnzh" +DISABLE_AUTO_UPDATE=true +plugins=(git) +source "\$ZSH/oh-my-zsh.sh" +zstyle ':omz:update' mode disabled +EOT WORKDIR /home/theia +RUN chsh -s /bin/zsh theia + COPY --from=0 --chown=theia:theia /home/theia /home/theia + COPY entrypoint.sh /entrypoint.sh EXPOSE 3000 -ENV SHELL=/bin/bash \ - THEIA_DEFAULT_PLUGINS=local-dir:/home/theia/plugins - USER theia ENTRYPOINT ["/entrypoint.sh"]