Copying files of extensions to vscode-server and to vscode-server-insiders. Updating to version 1.0.16

This commit is contained in:
Alejandro Lembke Barrientos 2023-08-29 13:39:05 +00:00
parent d5e345fb48
commit 127a78f58d
2 changed files with 8 additions and 1 deletions

View File

@ -20,6 +20,13 @@ if [ -f "/home/extensions.json" ]; then
echo "Installing extension: $extension"
sudo su - ${HOME_USER} -c "code --install-extension $extension"
done
sudo mkdir /home/${HOME_USER}/.vscode-server
sudo mkdir /home/${HOME_USER}/.vscode-server-insiders
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
sudo chmod -R a+rwX /home/${HOME_USER}/.vscode
sudo chmod -R a+rwX /home/${HOME_USER}/.vscode-server
sudo chmod -R a+rwX /home/${HOME_USER}/.vscode-server-insiders
else
echo "File extensions.json not found"
fi

View File

@ -1 +1 @@
1.0.15
1.0.16