From 53afd74739609054541e5e0a2871f1cdbcb7dfaa Mon Sep 17 00:00:00 2001 From: Alejandro Lembke Barrientos Date: Tue, 29 Aug 2023 15:15:48 +0000 Subject: [PATCH] Trying to install extensions. Update to version 1.0.18. --- entrypoint.sh | 14 +++++++------- version.txt | 2 +- 2 files changed, 8 insertions(+), 8 deletions(-) diff --git a/entrypoint.sh b/entrypoint.sh index cee5cf8..63e5ea7 100644 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -20,13 +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 + #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 diff --git a/version.txt b/version.txt index e92964f..c678b02 100644 --- a/version.txt +++ b/version.txt @@ -1 +1 @@ -1.0.17 \ No newline at end of file +1.0.18 \ No newline at end of file