From 127a78f58df0cc8372d74e69dfe1121cef54a9d3 Mon Sep 17 00:00:00 2001 From: Alejandro Lembke Barrientos Date: Tue, 29 Aug 2023 13:39:05 +0000 Subject: [PATCH] Copying files of extensions to vscode-server and to vscode-server-insiders. Updating to version 1.0.16 --- entrypoint.sh | 7 +++++++ version.txt | 2 +- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/entrypoint.sh b/entrypoint.sh index 0ea3949..cee5cf8 100644 --- a/entrypoint.sh +++ b/entrypoint.sh @@ -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 diff --git a/version.txt b/version.txt index 758a46e..d941c12 100644 --- a/version.txt +++ b/version.txt @@ -1 +1 @@ -1.0.15 \ No newline at end of file +1.0.16 \ No newline at end of file