2019-04-16 00:48:12 +00:00
|
|
|
FROM node:10.15.1
|
2019-03-07 02:59:43 +00:00
|
|
|
|
2019-03-13 19:00:36 +00:00
|
|
|
# Install VS Code's deps. These are the only two it seems we need.
|
2019-03-07 18:49:27 +00:00
|
|
|
RUN apt-get update && apt-get install -y \
|
|
|
|
libxkbfile-dev \
|
2019-03-13 19:00:36 +00:00
|
|
|
libsecret-1-dev
|
2019-03-07 02:59:43 +00:00
|
|
|
|
|
|
|
# Ensure latest yarn.
|
2019-03-07 18:49:27 +00:00
|
|
|
RUN npm install -g yarn@1.13
|
2019-03-07 02:59:43 +00:00
|
|
|
|
|
|
|
WORKDIR /src
|
|
|
|
COPY . .
|
2019-03-07 18:49:27 +00:00
|
|
|
|
|
|
|
# In the future, we can use https://github.com/yarnpkg/rfcs/pull/53 to make yarn use the node_modules
|
|
|
|
# directly which should be fast as it is slow because it populates its own cache every time.
|
2019-04-04 18:16:33 +00:00
|
|
|
RUN yarn && NODE_ENV=production yarn task build:server:binary
|
2019-03-07 02:59:43 +00:00
|
|
|
|
2019-03-09 17:06:47 +00:00
|
|
|
# We deploy with ubuntu so that devs have a familiar environment.
|
2019-04-04 21:43:23 +00:00
|
|
|
FROM ubuntu:18.04
|
2019-03-13 19:00:36 +00:00
|
|
|
|
2019-03-12 02:55:11 +00:00
|
|
|
RUN apt-get update && apt-get install -y \
|
|
|
|
openssl \
|
2019-04-03 00:24:44 +00:00
|
|
|
net-tools \
|
|
|
|
git \
|
2019-03-12 02:55:11 +00:00
|
|
|
locales \
|
2019-04-04 21:43:23 +00:00
|
|
|
sudo \
|
2019-04-11 20:30:21 +00:00
|
|
|
dumb-init \
|
|
|
|
vim \
|
|
|
|
curl \
|
|
|
|
wget
|
2019-04-04 21:43:23 +00:00
|
|
|
|
2019-03-12 02:55:11 +00:00
|
|
|
RUN locale-gen en_US.UTF-8
|
2019-04-03 00:24:44 +00:00
|
|
|
# We unfortunately cannot use update-locale because docker will not use the env variables
|
|
|
|
# configured in /etc/default/locale so we need to set it manually.
|
2019-04-04 21:43:23 +00:00
|
|
|
ENV LC_ALL=en_US.UTF-8
|
|
|
|
|
2019-04-05 01:00:42 +00:00
|
|
|
RUN adduser --gecos '' --disabled-password coder && \
|
|
|
|
echo "coder ALL=(ALL) NOPASSWD:ALL" >> /etc/sudoers.d/nopasswd
|
2019-04-04 21:43:23 +00:00
|
|
|
|
|
|
|
USER coder
|
|
|
|
# We create first instead of just using WORKDIR as when WORKDIR creates, the user is root.
|
2019-04-17 22:36:33 +00:00
|
|
|
RUN mkdir -p /home/coder/project
|
2019-04-14 04:34:25 +00:00
|
|
|
|
2019-04-04 21:43:23 +00:00
|
|
|
WORKDIR /home/coder/project
|
|
|
|
|
2019-04-14 04:34:25 +00:00
|
|
|
# This assures we have a volume mounted even if the user forgot to do bind mount.
|
2019-04-17 22:36:33 +00:00
|
|
|
# So that they do not lose their data if they delete the container.
|
2019-04-14 04:34:25 +00:00
|
|
|
VOLUME [ "/home/coder/project" ]
|
|
|
|
|
2019-04-04 21:43:23 +00:00
|
|
|
COPY --from=0 /src/packages/server/cli-linux-x64 /usr/local/bin/code-server
|
|
|
|
EXPOSE 8443
|
|
|
|
|
|
|
|
ENTRYPOINT ["dumb-init", "code-server"]
|