From 09b2dea9955010bd7ad7e9c1ae1c35e4cf74770e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Dato=20Sim=C3=B3?= Date: Mon, 1 Jan 2024 09:01:21 -0300 Subject: [PATCH] dev-tools: ensure we install Node from upstream Fixes: #3173 ("`bw-dev build` fails") --- dev-tools/Dockerfile | 1 + dev-tools/nodejs.pref | 4 ++++ 2 files changed, 5 insertions(+) create mode 100644 dev-tools/nodejs.pref diff --git a/dev-tools/Dockerfile b/dev-tools/Dockerfile index f6a7bb793..3b7740a78 100644 --- a/dev-tools/Dockerfile +++ b/dev-tools/Dockerfile @@ -6,6 +6,7 @@ ENV PYTHONUNBUFFERED=1 ENV NPM_CONFIG_UPDATE_NOTIFIER=false 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 package.json requirements.txt .stylelintrc.js .stylelintignore /app/dev-tools/ diff --git a/dev-tools/nodejs.pref b/dev-tools/nodejs.pref new file mode 100644 index 000000000..69e01c2c5 --- /dev/null +++ b/dev-tools/nodejs.pref @@ -0,0 +1,4 @@ +Package: nodejs +Pin: origin deb.nodesource.com +Pin-Priority: 995 +Explanation: prefer upstream packaging over Debian's