From 098ec05c5f5ff26d80bbc3284851c27a080b14cf Mon Sep 17 00:00:00 2001 From: Ondrej Mikle Date: Wed, 25 Jun 2014 14:25:30 +0200 Subject: [PATCH] Pin GPG key of ARM GCC repo by full fingerprint in Docker build --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index c785e5acc4..4e34632530 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,7 +4,7 @@ FROM ubuntu:14.04 # add and update package repositories -RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys A3421AFB && echo "deb http://ppa.launchpad.net/terry.guo/gcc-arm-embedded/ubuntu trusty main" >> /etc/apt/sources.list && apt-get update +RUN apt-key adv --keyserver keyserver.ubuntu.com --recv-keys FE324A81C208C89497EFC6246D1D8367A3421AFB && echo "deb http://ppa.launchpad.net/terry.guo/gcc-arm-embedded/ubuntu trusty main" >> /etc/apt/sources.list && apt-get update # define used versions for pinning