|
@@ -4,7 +4,7 @@ COPY src src
|
|
COPY pom.xml pom.xml
|
|
COPY pom.xml pom.xml
|
|
|
|
|
|
# no GPG by default in the base image
|
|
# no GPG by default in the base image
|
|
-RUN apt update -qqy && apt install -yqq gnupg wget > /dev/null
|
|
|
|
|
|
+RUN apt update -qqy && apt install -yqq gnupg unzip wget > /dev/null
|
|
RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
|
|
RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
|
|
RUN echo "deb http://download.mono-project.com/repo/debian wheezy main" | tee /etc/apt/sources.list.d/mono-xamarin.list
|
|
RUN echo "deb http://download.mono-project.com/repo/debian wheezy main" | tee /etc/apt/sources.list.d/mono-xamarin.list
|
|
RUN apt update
|
|
RUN apt update
|