Spaces:
Sleeping
Sleeping
Update Dockerfile
Browse files- Dockerfile +8 -5
Dockerfile
CHANGED
|
@@ -7,10 +7,9 @@ ENV NB_UID 1000
|
|
| 7 |
ENV HOME /home/${NB_USER}
|
| 8 |
ENV JAVA_HOME /usr/lib/jvm/java-17-openjdk-amd64/
|
| 9 |
ENV DEBIAN_FRONTEND=noninteractive
|
| 10 |
-
ENV TZ=Etc/UTC
|
| 11 |
|
| 12 |
# Install required packages
|
| 13 |
-
RUN apt-get update && apt-get install -y
|
| 14 |
tar \
|
| 15 |
wget \
|
| 16 |
bash \
|
|
@@ -30,13 +29,17 @@ RUN apt-get update && apt-get install -y --no-install-recommends \
|
|
| 30 |
openjdk-17-jdk \
|
| 31 |
ant \
|
| 32 |
ca-certificates-java \
|
|
|
|
| 33 |
&& apt-get clean \
|
| 34 |
&& update-ca-certificates -f
|
| 35 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 36 |
# Install Python 3.11 (latest stable version)
|
| 37 |
-
RUN
|
| 38 |
-
&& apt-get update \
|
| 39 |
-
&& apt-get install -y --no-install-recommends python3.11 python3.11-venv python3.11-dev python3-pip \
|
| 40 |
&& apt-get clean
|
| 41 |
|
| 42 |
# Set up JAVA_HOME
|
|
|
|
| 7 |
ENV HOME /home/${NB_USER}
|
| 8 |
ENV JAVA_HOME /usr/lib/jvm/java-17-openjdk-amd64/
|
| 9 |
ENV DEBIAN_FRONTEND=noninteractive
|
|
|
|
| 10 |
|
| 11 |
# Install required packages
|
| 12 |
+
RUN apt-get update && apt-get install -y \
|
| 13 |
tar \
|
| 14 |
wget \
|
| 15 |
bash \
|
|
|
|
| 29 |
openjdk-17-jdk \
|
| 30 |
ant \
|
| 31 |
ca-certificates-java \
|
| 32 |
+
gnupg \
|
| 33 |
&& apt-get clean \
|
| 34 |
&& update-ca-certificates -f
|
| 35 |
|
| 36 |
+
# Add the deadsnakes PPA and import GPG key manually
|
| 37 |
+
RUN wget -qO - https://keyserver.ubuntu.com/pks/lookup?op=get&search=0xBA6932366A755776 | gpg --dearmor -o /usr/share/keyrings/deadsnakes.gpg \
|
| 38 |
+
&& echo "deb [signed-by=/usr/share/keyrings/deadsnakes.gpg] http://ppa.launchpad.net/deadsnakes/ppa/ubuntu jammy main" > /etc/apt/sources.list.d/deadsnakes.list \
|
| 39 |
+
&& apt-get update
|
| 40 |
+
|
| 41 |
# Install Python 3.11 (latest stable version)
|
| 42 |
+
RUN apt-get install -y python3.11 python3.11-venv python3.11-dev python3-pip \
|
|
|
|
|
|
|
| 43 |
&& apt-get clean
|
| 44 |
|
| 45 |
# Set up JAVA_HOME
|