editted the java and gradle path and changed to openjdk:21
This commit is contained in:
+3
-9
@@ -1,13 +1,13 @@
|
|||||||
FROM python:slim-bookworm AS base
|
FROM python:slim-bookworm AS base
|
||||||
|
|
||||||
# Copy Java from openjdk:26-oracle
|
# Copy Java from openjdk:26-oracle
|
||||||
ENV JAVA_HOME=/usr/java/openjdk-26
|
COPY --from=openjdk:21 /usr/java/openjdk-21 /usr/java/openjdk-21
|
||||||
COPY --from=openjdk:26-oracle $JAVA_HOME $JAVA_HOME
|
ENV JAVA_HOME=/usr/java/openjdk-21
|
||||||
ENV PATH="${JAVA_HOME}/bin:${PATH}"
|
ENV PATH="${JAVA_HOME}/bin:${PATH}"
|
||||||
|
|
||||||
# Copy Gradle from gradle:latest
|
# Copy Gradle from gradle:latest
|
||||||
|
COPY --from=gradle:latest /opt/gradle /opt/gradle
|
||||||
ENV GRADLE_HOME=/opt/gradle
|
ENV GRADLE_HOME=/opt/gradle
|
||||||
COPY --from=gradle:latest $GRADLE_HOME $GRADLE_HOME
|
|
||||||
ENV PATH="${GRADLE_HOME}/bin:${PATH}"
|
ENV PATH="${GRADLE_HOME}/bin:${PATH}"
|
||||||
|
|
||||||
# Update and install dependencies
|
# Update and install dependencies
|
||||||
@@ -58,18 +58,12 @@ FROM scala AS lth
|
|||||||
# Clears apt lists
|
# Clears apt lists
|
||||||
RUN rm -rf /var/lib/apt/lists/*
|
RUN rm -rf /var/lib/apt/lists/*
|
||||||
|
|
||||||
|
|
||||||
|
|
||||||
# Adds the default User
|
# Adds the default User
|
||||||
ARG USER=lth-student
|
ARG USER=lth-student
|
||||||
RUN useradd --groups sudo --no-create-home --shell /bin/bash ${USER} \
|
RUN useradd --groups sudo --no-create-home --shell /bin/bash ${USER} \
|
||||||
&& echo "${USER} ALL=(ALL) NOPASSWD:ALL" >/etc/sudoers.d/${USER} \
|
&& echo "${USER} ALL=(ALL) NOPASSWD:ALL" >/etc/sudoers.d/${USER} \
|
||||||
&& chmod 0440 /etc/sudoers.d/${USER}
|
&& chmod 0440 /etc/sudoers.d/${USER}
|
||||||
|
|
||||||
# Create home directory and set ownership
|
|
||||||
USER root
|
|
||||||
RUN mkdir -p /home/${USER} && chown -R ${USER}:${USER} /home/${USER}
|
|
||||||
|
|
||||||
# Sets user and work directory
|
# Sets user and work directory
|
||||||
USER ${USER}
|
USER ${USER}
|
||||||
WORKDIR /home/${USER}
|
WORKDIR /home/${USER}
|
||||||
@@ -164,6 +164,11 @@ resource "docker_container" "workspace" {
|
|||||||
# Hostname makes the shell more user friendly: coder@my-workspace:~$
|
# Hostname makes the shell more user friendly: coder@my-workspace:~$
|
||||||
hostname = data.coder_workspace.me.name
|
hostname = data.coder_workspace.me.name
|
||||||
# Use the docker gateway if the access URL is 127.0.0.1
|
# Use the docker gateway if the access URL is 127.0.0.1
|
||||||
|
entrypoint = [
|
||||||
|
"sh", "-c", "chown", "-R", "${local.username}:${local.username}", "/home/${local.username}",
|
||||||
|
"&&", "exec",
|
||||||
|
"sh", "-c", replace(coder_agent.main.init_script, "/localhost|127\\.0\\.0\\.1/", "host.docker.internal")
|
||||||
|
]
|
||||||
entrypoint = ["sh", "-c", replace(coder_agent.main.init_script, "/localhost|127\\.0\\.0\\.1/", "host.docker.internal")]
|
entrypoint = ["sh", "-c", replace(coder_agent.main.init_script, "/localhost|127\\.0\\.0\\.1/", "host.docker.internal")]
|
||||||
env = ["CODER_AGENT_TOKEN=${coder_agent.main.token}"]
|
env = ["CODER_AGENT_TOKEN=${coder_agent.main.token}"]
|
||||||
host {
|
host {
|
||||||
|
|||||||
Reference in New Issue
Block a user