From b083c435848ca51bae39db8ac241e411617330fb Mon Sep 17 00:00:00 2001 From: Liu Xinyu Date: Mon, 19 Feb 2024 19:11:43 +0800 Subject: [PATCH] Fixed pkg names for noto-cjk and ttf-freefont --- .docker/Dockerfile | 41 +++++++++++++++++++++++++++++++++++++++++ 1 file changed, 41 insertions(+) create mode 100644 .docker/Dockerfile diff --git a/.docker/Dockerfile b/.docker/Dockerfile new file mode 100644 index 000000000..6996a083f --- /dev/null +++ b/.docker/Dockerfile @@ -0,0 +1,41 @@ +# This is the Dockerfile for `algoxy:gitpod`. + +# gitpod doesn't support multiple FROM statements, (or rather, you can't copy from one to another) +# so we just install everything in one go +FROM ubuntu:jammy + +USER root + +RUN apt-get update && apt-get install make perl fonts-noto-cjk fonts-freefont-ttf sudo git curl git bash-completion -y && apt-get clean + +# install tex-live +# reference from: https://www.tug.org/texlive/quickinstall.html +RUN wget https://mirror.ctan.org/systems/texlive/tlnet/install-tl-unx.tar.gz +RUN zcat < install-tl-unx.tar.gz | tar xf - +RUN cd install-tl-* +RUN perl ./install-tl --no-interaction # as root or with writable destination + +RUN useradd -l -u 33333 -G sudo -md /home/gitpod -s /bin/bash -p gitpod gitpod \ + # passwordless sudo for users in the 'sudo' group + && sed -i.bkp -e 's/%sudo\s\+ALL=(ALL\(:ALL\)\?)\s\+ALL/%sudo ALL=NOPASSWD:ALL/g' /etc/sudoers +USER gitpod +WORKDIR /home/gitpod + +SHELL ["/bin/bash", "-c"] + +# gitpod bash prompt +RUN { echo && echo "PS1='\[\033[01;32m\]\u\[\033[00m\] \[\033[01;34m\]\w\[\033[00m\]\$(__git_ps1 \" (%s)\") $ '" ; } >> .bashrc + +# prepend /usr/local/texlive/YYYY/bin/PLATFORM to user's PATH, +# e.g., /usr/local/texlive/2023/bin/x86_64-linux + +ENV PATH="/home/gitpod/.local/bin:/usr/local/texlive/2023/bin/x86_64-linux:${PATH}" + +# fix the infoview when the container is used on gitpod: +ENV VSCODE_API_VERSION="1.50.0" + +# ssh to github once to bypass the unknown fingerprint warning +RUN ssh -o StrictHostKeyChecking=no github.com || true + +# run sudo once to suppress usage info +RUN sudo echo finished \ No newline at end of file