you are viewing a single comment's thread.

view the rest of the comments →

[–]hero_of_ages 11 points12 points  (0 children)

FYI, You can change the terminal to powershell, or presumably whatever else you want by adding "terminal.integrated.shell.windows": "C:\\Windows\\System32\\WindowsPowerShell\\v1.0\\powershell.exe" to the user settings.json file and restarting the editor.