Download vs code server files

download vs code server files.sh

# Taken from https://stackoverflow.com/a/57601121/19532697

# Get your commit id from VS Code's Help tab
commit_id=f06011ac164ae4dc8e753a3fe7f9549844d15e35

# Download url is: https://update.code.visualstudio.com/commit:${commit_id}/server-linux-x64/stable
# The file might be up to about 100MB and thus might take a while to download if speeds are low
# Optional: use -k to disable ssl certificate check requirement
curl -sSL "https://update.code.visualstudio.com/commit:${commit_id}/server-linux-x64/stable" -o vscode-server-linux-x64.tar.gz

mkdir -p ~/.vscode-server/bin/${commit_id}
tar zxvf vscode-server-linux-x64.tar.gz -C ~/.vscode-server/bin/${commit_id} --strip 1
touch ~/.vscode-server/bin/${commit_id}/0

Problem: cannot use GitHub CoPilot in ssh remote sessions.
Solution: add this to .vscode/settings.json (e.g. on the remote server)

"remote.extensionKind": {
        "GitHub.copilot": [
            "ui"
        ],
        "GitHub.copilot-chat": [
            "ui"
        ],
    },

Source: https://github.com/orgs/community/discussions/52369#discussioncomment-9156988

{
    "workbench.colorCustomizations": {
        "activityBar.background": "#13332E",
        "titleBar.activeBackground": "#19423B",
        "titleBar.activeForeground": "#F6FBFB"
        },
    "files.watcherExclude": {
        "**/.git/objects/**": true,
        "**/.git/subtree-cache/**": true,
        "**/build/**": true,
        "**/dist/**": true
    },
    "python.testing.pytestArgs": [
        "tests"
    ],
    "python.testing.unittestEnabled": false,
    "python.testing.pytestEnabled": true,
    "remote.downloadExtensionsLocally": true,
    "remote.extensionKind": {
        "GitHub.copilot": [
            "ui"
        ],
        "GitHub.copilot-chat": [
            "ui"
        ],
    },
}