From 085c5db1581610bb2b72156968ec7227523b27a5 Mon Sep 17 00:00:00 2001 From: Alejandro Lembke Barrientos Date: Fri, 26 Sep 2025 22:21:19 +0000 Subject: [PATCH] forcing the instalation of extensions. --- entrypoint.sh | 2 +- version.txt | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/entrypoint.sh b/entrypoint.sh index 7497765..8492836 100755 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -152,7 +152,7 @@ if [ -f "/home/extensions.json" ]; then # Loop through the extensions and process each element for extension in $extensions; do echo "Installing extension: $extension" - sudo su ${HOME_USER} -c "code --install-extension $extension" + sudo su ${HOME_USER} -c "code --install-extension $extension --force" done sudo cp -R /home/${HOME_USER}/.vscode/* /home/${HOME_USER}/.vscode-server sudo cp -R /home/${HOME_USER}/.vscode/* /home/${HOME_USER}/.vscode-server-insiders diff --git a/version.txt b/version.txt index d883a10..23c635a 100755 --- a/version.txt +++ b/version.txt @@ -1 +1 @@ -3.2.13 +3.2.14