Manual download vscode-server

download_vscode_server.sh

#!/bin/bash

# This script downloads and installs a specific version of VSCode Server for Linux.
# The version is specified by the first argument to the script.
# You can find the git commit id in the output of Remote - SSH plugin in VSCode.
# The output looks like this:
#   ...
#   Using commit id "af28b32d7e553898b2a91af498b1fb666fdebe0c" and quality "stable" for server
#   ...

git_cid="$1"
echo "Installing VSCode Server version: ${git_cid}"
install_path="${HOME}/.vscode-server/bin/${git_cid}"
pushd /tmp
wget -O vscode-server.tar.gz https://update.code.visualstudio.com/commit:${git_cid}/server-linux-x64/stable
mkdir -p ${install_path}
tar -xzf vscode-server.tar.gz -C ${install_path} --strip-components 1
touch ${install_path}/0
popd