Skip to content
Snippets Groups Projects

Using local debian repo: Speed up the image building.

Merged Daniel Hornung requested to merge f-local-debian-repo into dev
3 files
+ 12
1
Compare changes
  • Side-by-side
  • Inline
Files
3
FROM debian:latest
FROM debian:latest
 
# Use local package repository
 
COPY sources.list.local /etc/apt/
 
RUN mv /etc/apt/sources.list /etc/apt/sources.list.orig
 
RUN cat /etc/apt/sources.list.local /etc/apt/sources.list.orig > /etc/apt/sources.list
RUN apt-get update && \
RUN apt-get update && \
apt-get install -y \
apt-get install -y \
pylint3 python3-pip tox git \
pylint3 python3-pip tox git \
Loading