Visual Studio Code

MS VSCode IDE Development Environment

2023-10-01. Category & Tags: IDE, Development Environment, Visual Studio Code, Programming

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. ...