My VSCode settings for Windows
- ALL the files and directories here in the repo should be placed together somewhere.
- The batch files are used to create directory junctions for current user, so all users share the same settings and extensions.
PS: using junction not symbolic link, because the former needs no additional privilege.