RUN DEBIAN_FRONTEND=noninteractive apt-get --yes update && \
DEBIAN_FRONTEND=noninteractive apt-get --yes install \
- apt-transport-https=1.6.12ubuntu0.2 \
- curl=7.58.0-2ubuntu3.13 \
- gnupg2=2.2.4-1ubuntu1.4 \
- nginx=1.14.0-0ubuntu1.9 \
- software-properties-common=0.96.24.32.14 \
- xz-utils=5.2.2-1.3
+ apt-transport-https=1.6.* \
+ curl=7.58.* \
+ gnupg2=2.2.* \
+ nginx=1.14.* \
+ software-properties-common=0.96.* \
+ xz-utils=5.2.*
RUN curl -s https://deb.nodesource.com/gpgkey/nodesource.gpg.key | apt-key add - && \
echo "deb https://deb.nodesource.com/node_10.x xenial main" | tee -a /etc/apt/sources.list.d/nodesource.list && \
apt-get update && \
- apt-get install -y nodejs=10.24.1-1nodesource1
+ apt-get install -y nodejs=10.24.* \
+ && rm -rf /var/lib/apt/lists/*
ARG OSM_NGUI_URL