fix: Use apt-get, as apt is a user command

According to hadolint.
DSD-DBS · Aug 30, 2023 · 4b9c924 · 4b9c924
1 parent 47e21c7
commit 4b9c924
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/ease/debug/Dockerfile b/ease/debug/Dockerfile
@@ -22,7 +22,7 @@ RUN if [ "$NETWORK_ACCESS" = "restricted" ]; then \
     | dd of=/usr/share/keyrings/vscodium-archive-keyring.gpg && \
     echo 'deb [ signed-by=/usr/share/keyrings/vscodium-archive-keyring.gpg ] https://download.vscodium.com/debs vscodium main' \
     | tee /etc/apt/sources.list.d/vscodium.list && \
-    apt-get update && apt install -y codium; \
+    apt-get update && apt-get install -y codium; \
     fi && \
     rm -rf /var/lib/apt/lists/* && \
     rm -r /tmp/libs;
diff --git a/jupyter-notebook/Dockerfile b/jupyter-notebook/Dockerfile
@@ -4,8 +4,8 @@
 ARG BASE_IMAGE=base
 FROM $BASE_IMAGE
 
-RUN apt update && \
-    apt install --yes --no-install-recommends \
+RUN apt-get update && \
+    apt-get install --yes --no-install-recommends \
     git \
     git-lfs \
     libgirepository1.0-dev \