The VSCode tutorial we give is kind of outdated and not the one I'd recommend. Instead, I linked it to the SSH tutorial on VS Code (and pointed to the relevant sections), which should be preferred. Also added some resources about Vim since we mention it, but we ought to have our own Vim guide somewhere...
The VSCode tutorial we give is kind of outdated and not the one I'd recommend. Instead, I linked it to the SSH tutorial on VS Code (and pointed to the relevant sections), which should be preferred. Also added some resources about Vim since we mention it, but we ought to have our own Vim guide somewhere...