From 3fd950db212c2663a873b23bb1a19afd046ea614 Mon Sep 17 00:00:00 2001 From: Tate Whiteberg <89590361+DarthNyan@users.noreply.github.com> Date: Fri, 14 Jun 2024 14:15:48 -0400 Subject: [PATCH] [Bugfix:Autograding] Fix misnamed Java alias (#33) ### Please check if the PR fulfills these requirements: * [ ] Tests for the changes have been added/updated (if possible) * [ ] Documentation has been updated/added if relevant ### What is the current behavior? /opt/openjdk11 is intended to be a link to the JDK installation folder, however the destination name is wrong. When /opt/openjdk11 is added to the path, it is unable to find the Java installation or run any java commands. ### What is the new behavior? This fixes the destination name in the alias command. The path should now include the JDK and the image should successfully execute java commands. ### Other information? --- dockerfiles/submitty/java/11/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/dockerfiles/submitty/java/11/Dockerfile b/dockerfiles/submitty/java/11/Dockerfile index 0c5d56e..0c8834e 100644 --- a/dockerfiles/submitty/java/11/Dockerfile +++ b/dockerfiles/submitty/java/11/Dockerfile @@ -11,7 +11,7 @@ RUN apt-get update && \ RUN curl -L -o /adoptopenjdk.tar.gz https://github.com/AdoptOpenJDK/openjdk11-upstream-binaries/releases/download/jdk-11.0.12%2B7/OpenJDK11U-jdk_x64_linux_11.0.12_7.tar.gz && \ tar -xzf /adoptopenjdk.tar.gz -C /opt && \ rm /adoptopenjdk.tar.gz && \ - ln -s /opt/jdk-11.0.12+7 /opt/openjdk11 + ln -s /opt/openjdk-11.0.12_7 /opt/openjdk11 # Set environment variables ENV JAVA_HOME=/opt/openjdk11