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

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

version.txt

@@ -1 +1 @@
-1.0.15
+1.0.16