From 7294a3962448ce585c8d11654a276ff5b650600c Mon Sep 17 00:00:00 2001 From: Tim Weisenberger Date: Fri, 3 Jul 2026 10:32:04 +0200 Subject: [PATCH] fix: pin to deb.nodesource.com to ensure correct node version is installed --- php/dev/scripts/install-node | 3 +++ 1 file changed, 3 insertions(+) diff --git a/php/dev/scripts/install-node b/php/dev/scripts/install-node index 283787f8..c40149a2 100755 --- a/php/dev/scripts/install-node +++ b/php/dev/scripts/install-node @@ -13,6 +13,9 @@ then 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_$1.x nodistro main" | tee /etc/apt/sources.list.d/nodesource.list && + echo "Package: nodejs" | tee /etc/apt/preferences.d/nodejs && + echo "Pin: origin deb.nodesource.com" | tee -a /etc/apt/preferences.d/nodejs && + echo "Pin-Priority: 600" | tee -a /etc/apt/preferences.d/nodejs && apt-get -y update && apt-get -y install --no-install-suggests --no-install-recommends nodejs && apt-get autoremove &&