guntiss

#!/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
#   ...