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