Add deb-multimedia repository in separate step

master
Simon Bruder 2020-02-14 17:34:50 +00:00
parent 5bcb121ea5
commit 95cbedd644
No known key found for this signature in database
GPG Key ID: 6F03E0000CC5B62F
1 changed files with 3 additions and 1 deletions

View File

@ -3,7 +3,9 @@ FROM debian:testing
RUN echo 'deb http://ftp-stud.hs-esslingen.de/pub/Mirrors/debian-multimedia/ testing main' > /etc/apt/sources.list.d/deb-multimedia.list \
&& apt-get update -oAcquire::AllowInsecureRepositories=true \
&& apt-get -y --allow-unauthenticated install deb-multimedia-keyring \
&& apt-get update \
&& rm -rf /var/lib/apt/lists
RUN apt-get update \
&& apt-get -y install \
autoconf \
beignet-opencl-icd \