Skip to content
Snippets Groups Projects
Verified Commit 5e5cb9f7 authored by Roman Azarenko's avatar Roman Azarenko
Browse files

code-analysis: switch to newer Node.js installer

The old installer has been deprecated a while ago.
parent 01297525
No related branches found
No related tags found
1 merge request!26Added infer and minor cleanup
This commit is part of merge request !26. Comments created here will be created in the context of that merge request.
......@@ -79,7 +79,10 @@ RUN git config --global advice.detachedHead false
# install node
ARG NODEJS_VERSION_MAJOR=16
RUN curl -fsSL "https://deb.nodesource.com/setup_${NODEJS_VERSION_MAJOR}.x" | bash - && \
RUN mkdir -p /etc/apt/keyrings && \
curl -fsSL https://deb.nodesource.com/gpgkey/nodesource-repo.gpg.key | gpg --dearmor -o /etc/apt/keyrings/nodesource.gpg && \
echo "deb [signed-by=/etc/apt/keyrings/nodesource.gpg] https://deb.nodesource.com/node_${NODEJS_VERSION_MAJOR}.x nodistro main" > /etc/apt/sources.list.d/nodesource.list && \
apt-get -y update && \
apt-get install -y nodejs && \
rm -rf /var/lib/apt/lists/*
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment