Archived
1
0
This repository has been archived on 2024-09-09. You can view files and clone it, but cannot push or open issues or pull requests.
code-server/Dockerfile

59 lines
1.5 KiB
Docker
Raw Normal View History

2020-01-08 23:30:44 +01:00
FROM node:12.14.0
ARG tag
2019-09-17 21:00:51 +02:00
ARG githubToken
2019-03-07 03:59:43 +01:00
# Install VS Code's deps. These are the only two it seems we need.
RUN apt-get update && apt-get install -y \
libxkbfile-dev \
libsecret-1-dev
2019-03-07 03:59:43 +01:00
WORKDIR /src
COPY . .
2019-07-15 20:23:29 +02:00
RUN yarn \
&& DRONE_TAG="$tag" MINIFY=true BINARY=true GITHUB_TOKEN="$githubToken" ./scripts/ci.bash \
&& mv /src/binaries/* /src/binaries/code-server \
&& rm -r /src/build \
&& rm -r /src/source
2019-03-07 03:59:43 +01:00
# We deploy with Ubuntu so that devs have a familiar environment.
FROM ubuntu:18.04
RUN apt-get update && apt-get install -y \
openssl \
2019-04-03 02:24:44 +02:00
net-tools \
git \
locales \
sudo \
dumb-init \
vim \
curl \
wget \
&& rm -rf /var/lib/apt/lists/*
RUN locale-gen en_US.UTF-8
2019-07-15 20:23:29 +02:00
# We cannot use update-locale because docker will not use the env variables
2019-04-03 02:24:44 +02:00
# configured in /etc/default/locale so we need to set it manually.
ENV LC_ALL=en_US.UTF-8 \
SHELL=/bin/bash
2019-04-05 03:00:42 +02:00
RUN adduser --gecos '' --disabled-password coder && \
echo "coder ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers.d/nopasswd
USER coder
# Create first so these directories will be owned by coder instead of root
# (workdir and mounting appear to both default to root).
2019-04-18 00:36:33 +02:00
RUN mkdir -p /home/coder/project
2019-12-10 19:06:52 +01:00
RUN mkdir -p /home/coder/.local/share/code-server
WORKDIR /home/coder/project
2019-07-15 20:23:29 +02:00
# This ensures we have a volume mounted even if the user forgot to do bind
# mount. So that they do not lose their data if they delete the container.
VOLUME [ "/home/coder/project" ]
COPY --from=0 /src/binaries/code-server /usr/local/bin/code-server
2019-08-08 18:21:45 +02:00
EXPOSE 8080
2019-07-15 20:23:29 +02:00
ENTRYPOINT ["dumb-init", "code-server", "--host", "0.0.0.0"]