2020-08-11 12:57:47 -07:00
|
|
|
# Update the VARIANT arg in devcontainer.json to pick a Java version >= 11
|
|
|
|
|
ARG VARIANT=11
|
|
|
|
|
FROM openjdk:${VARIANT}-jdk-buster
|
2019-04-16 20:03:58 -07:00
|
|
|
|
2020-08-11 12:57:47 -07:00
|
|
|
# Options for setup script
|
|
|
|
|
ARG INSTALL_ZSH="true"
|
|
|
|
|
ARG UPGRADE_PACKAGES="false"
|
2019-08-06 01:08:09 +00:00
|
|
|
ARG USERNAME=vscode
|
|
|
|
|
ARG USER_UID=1000
|
|
|
|
|
ARG USER_GID=$USER_UID
|
|
|
|
|
|
2020-08-11 12:57:47 -07:00
|
|
|
# Install needed packages and setup non-root user. Use a separate RUN statement to add your own dependencies.
|
|
|
|
|
COPY library-scripts/*.sh /tmp/library-scripts/
|
|
|
|
|
RUN /bin/bash /tmp/library-scripts/common-debian.sh "${INSTALL_ZSH}" "${USERNAME}" "${USER_UID}" "${USER_GID}" "${UPGRADE_PACKAGES}" \
|
|
|
|
|
&& if [ ! -d "/docker-java-home" ]; then ln -s "${JAVA_HOME}" /docker-java-home; fi \
|
|
|
|
|
&& apt-get clean -y && rm -rf /var/lib/apt/lists/* /tmp/library-scripts/common-debian.sh
|
|
|
|
|
|
|
|
|
|
# [Optional] Install Maven
|
|
|
|
|
ARG INSTALL_MAVEN="false"
|
2019-12-17 04:01:40 +00:00
|
|
|
ARG MAVEN_VERSION=3.6.3
|
2020-08-11 12:57:47 -07:00
|
|
|
ARG MAVEN_DOWNLOAD_SHA="no-check"
|
2019-12-11 05:18:22 +00:00
|
|
|
ENV MAVEN_HOME=/usr/local/share/maven
|
2020-08-11 12:57:47 -07:00
|
|
|
RUN if [ "${INSTALL_MAVEN}" = "true" ]; then /bin/bash /tmp/library-scripts/maven-debian.sh ${MAVEN_VERSION} ${MAVEN_HOME} ${USERNAME} ${MAVEN_DOWNLOAD_SHA}; fi \
|
|
|
|
|
&& rm -f /tmp/library-scripts/maven-debian.sh
|
|
|
|
|
|
|
|
|
|
# [Optional] Install Gradle
|
|
|
|
|
ARG INSTALL_GRADLE="false"
|
|
|
|
|
ARG GRADLE_VERSION=5.4.1
|
|
|
|
|
ARG GRADLE_DOWNLOAD_SHA="no-check"
|
|
|
|
|
ENV GRADLE_HOME=/usr/local/share/gradle
|
|
|
|
|
RUN if [ "${INSTALL_GRADLE}" = "true" ]; then /bin/bash /tmp/library-scripts/gradle-debian.sh ${GRADLE_VERSION} ${GRADLE_HOME} ${USERNAME} ${GRADLE_DOWNLOAD_SHA}; fi \
|
|
|
|
|
&& rm -f /tmp/library-scripts/gradle-debian.sh
|
2019-12-11 05:18:22 +00:00
|
|
|
|
2020-08-11 12:57:47 -07:00
|
|
|
# [Optional] Install Node.js for use with web applications - update the INSTALL_NODE arg in devcontainer.json to enable.
|
|
|
|
|
ARG INSTALL_NODE="false"
|
|
|
|
|
ARG NODE_VERSION="lts/*"
|
|
|
|
|
ENV NVM_DIR=/usr/local/share/nvm
|
|
|
|
|
ENV NVM_SYMLINK_CURRENT=true \
|
|
|
|
|
PATH=${NVM_DIR}/current/bin:${PATH}
|
|
|
|
|
COPY library-scripts/node-debian.sh /tmp/library-scripts/
|
|
|
|
|
RUN if [ "$INSTALL_NODE" = "true" ]; then /bin/bash /tmp/library-scripts/node-debian.sh "${NVM_DIR}" "${NODE_VERSION}" "${USERNAME}"; fi \
|
|
|
|
|
&& apt-get clean -y && rm -rf /var/lib/apt/lists/* /tmp/library-scripts/node-debian.sh
|
2019-04-26 18:29:26 +00:00
|
|
|
|
2020-08-11 12:57:47 -07:00
|
|
|
# [Optional] Uncomment this section to install additional OS packages.
|
|
|
|
|
# RUN apt-get update && export DEBIAN_FRONTEND=noninteractive \
|
2020-08-11 12:58:59 -07:00
|
|
|
# && apt-get -y install --no-install-recommends <your-package-list-here>
|