MS VSCode IDE Development Environment

Remote Development Environment #

install vscode #

• Download and install Visual Studio Code.
• Install the following extensions (e.g. py):
  • Remote Development
  • Python
  • Jupyter
  • Markdown All in One
  • Markdown Preview Enhanced
  • Markdownlint
  • Prettier - Code formatter

setup remote connection to nix #

do use public-key auth #

interactive auth / passphrase will create problems ! (progress hangs) (“details” on the bottom-right does NOT provide enough useful information)

tip: we can choose any config file. tip: check ssh key file permission (windows OS permission!)

make sure we can ssh to the remote in ps without passwd, then open vsc: F1, C+S+P > “remote ssh” > connect to remote

tip: the 1st time of connection will ask for remote type: Linux vs Mac vs. Win (on the top of VSC).