diff --git a/gitpod/gitpod.Dockerfile b/gitpod/gitpod.Dockerfile index 528d582..fc6d700 100644 --- a/gitpod/gitpod.Dockerfile +++ b/gitpod/gitpod.Dockerfile @@ -15,12 +15,13 @@ RUN curl -fsSL https://download.docker.com/linux/ubuntu/gpg | sudo apt-key add - && apt dist-upgrade -y \ && apt-get install -y clang valgrind shellcheck docker-ce docker-ce-cli containerd.io firefox tree xclip umbrello gnuplot fish zsh \ && sh -c "$(wget -O- https://raw.githubusercontent.com/ohmyzsh/ohmyzsh/master/tools/install.sh)" \ - && curl -L https://get.oh-my.fish | fish --noninteractive \ && git clone --depth=1 https://github.com/Bash-it/bash-it.git /usr/src/bash-it \ && /usr/src/bash-it/.bash_it \ && rm -rf /var/lib/apt/lists/* \ && apt autoremove -y +# FIXME: && curl -L https://get.oh-my.fish | fish \ + ### VLANG ### USER root ENV VLANG_VERSION="0.1.24"