Merge pull request #3175 from dato/prefer_nodesource

dev-tools: ensure we install Node from upstream
This commit is contained in:
Mouse Reeve 2024-01-01 19:12:02 -08:00 committed by GitHub
commit 45d33c37ea
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 5 additions and 0 deletions

View file

@ -6,6 +6,7 @@ ENV PYTHONUNBUFFERED=1
ENV NPM_CONFIG_UPDATE_NOTIFIER=false ENV NPM_CONFIG_UPDATE_NOTIFIER=false
ENV PIP_ROOT_USER_ACTION=ignore PIP_DISABLE_PIP_VERSION_CHECK=1 ENV PIP_ROOT_USER_ACTION=ignore PIP_DISABLE_PIP_VERSION_CHECK=1
COPY nodejs.pref /etc/apt/preferences.d/
COPY nodejs.sources /etc/apt/sources.list.d/ COPY nodejs.sources /etc/apt/sources.list.d/
COPY package.json requirements.txt .stylelintrc.js .stylelintignore /app/dev-tools/ COPY package.json requirements.txt .stylelintrc.js .stylelintignore /app/dev-tools/

4
dev-tools/nodejs.pref Normal file
View file

@ -0,0 +1,4 @@
Package: nodejs
Pin: origin deb.nodesource.com
Pin-Priority: 995
Explanation: prefer upstream packaging over Debian's