From 604b2420aeb6249e8452879dfe512cfa09a06483 Mon Sep 17 00:00:00 2001 From: Panagiotis Astithas Date: Wed, 6 Nov 2024 11:22:59 -0800 Subject: [PATCH] Address review feedback --- Dockerfile | 4 ++-- Makefile | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 8d5a2214a6..0f18a765e9 100644 --- a/Dockerfile +++ b/Dockerfile @@ -7,8 +7,8 @@ RUN chmod a+rx $HOME && useradd --uid 9999 --user-group --create-home browser # Add apt repositories for Java, Node.js and Google Cloud CLI RUN export DISTRO_CODENAME=$(awk -F= '/^VERSION_CODENAME/{print$2}' /etc/os-release) && \ - echo "deb [signed-by=/usr/share/keyrings/correto.gpg] https://apt.corretto.aws stable main" > /etc/apt/sources.list.d/adoptium.list && \ - curl -s https://apt.corretto.aws/corretto.key | gpg --dearmor -o /usr/share/keyrings/correto.gpg && \ + echo "deb [signed-by=/usr/share/keyrings/corretto.gpg] https://apt.corretto.aws stable main" > /etc/apt/sources.list.d/corretto.list && \ + curl -s https://apt.corretto.aws/corretto.key | gpg --dearmor -o /usr/share/keyrings/corretto.gpg && \ export NODE_VERSION="18.x" && \ export ARCH=$(dpkg --print-architecture) && \ echo "deb [arch=$ARCH signed-by=/usr/share/keyrings/nodesource.gpg] https://deb.nodesource.com/node_$NODE_VERSION nodistro main" > /etc/apt/sources.list.d/nodesource.list && \ diff --git a/Makefile b/Makefile index 8fffb341ad..8fae75a285 100644 --- a/Makefile +++ b/Makefile @@ -237,7 +237,7 @@ wget: apt-get-wget java: @ # java has a different apt-get package name. if [[ "$$(which java)" == "" ]]; then \ - sudo apt-get install -qqy --no-install-suggests temurin-11-jdk; \ + sudo apt-get install -qqy --no-install-suggests java-11-amazon-corretto-jdk; \ fi gpg: