diff --git a/Dockerfile b/Dockerfile index 4c4debe..c82d650 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM debian:stable-20240904-slim +FROM debian:stable-20241016-slim ENV LANG="C.UTF-8" LANGUAGE="C.UTF-8" LC_ALL="C.UTF-8" @@ -11,7 +11,7 @@ RUN apt-get update && \ RUN mkdir -p /etc/apt/keyrings RUN curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg -ARG NODE_MAJOR=20 +ARG NODE_MAJOR=22 RUN echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_$NODE_MAJOR.x nodistro main" | tee /etc/apt/sources.list.d/nodesource.list RUN apt-get update && \ apt-get install -qq -y --no-install-recommends nodejs && \ @@ -19,5 +19,5 @@ RUN apt-get update && \ RUN mkdir -p ~/.ssh/ && ssh-keyscan -t ed25519 github.com >> ~/.ssh/known_hosts -RUN npm install -g npm@10.5.2 -RUN npm install -g spago@0.93.29 purescript@0.15.15 purescript-psa@0.9.0 grunt-cli@1.5.0 esbuild@0.23.1 purs-tidy@0.11.0 +RUN npm install -g npm@10.9.0 +RUN npm install -g spago@0.93.41 purescript@0.15.15 purescript-psa@0.9.0 grunt-cli@1.5.0 esbuild@0.24.0 purs-tidy@0.11.0