# Update and install wget and gpg-agent as it isn't in the base Ubuntu # image and is needed for apt-key # RUN apt-get -q update \ && DEBIAN_FRONTEND=noninteractive \ apt-get --no-install-recommends -q -y install \ wget \ gpg-agent # Fetch and install the signing key for ${PACKAGE_REPOSITORY} # RUN wget -qO - ${PACKAGE_REPOSITORY}/intel-graphics.key | sudo apt-key add - RUN sudo apt-add-repository \ 'deb [arch=amd64] ${PACKAGE_REPOSITORY}/${OS_DISTRO} ${PACKAGE_STREAM} main' # Cleanup #RUN apt-get remove -y wget \ # && apt-get clean \ # && rm -rf /var/lib/apt/lists/{apt,dpkg,cache,log}