I’m putting this here solely for myself so I’ve got it for later. If its useful for anyone else, great.
I’m a big fan of Visual Studio Code (VSCode) for editing code scripts mainly because of the Git integration, the built-in Explorer and the fact that its so lightweight. I have even used VSCode for editing PowerShell scripts in preference to PowerShell ISE even though it didn’t actually support or comprehend PowerShell. That changed however when Microsoft released a PowerShell extension for VSCode (read Announcing PowerShell language support for Visual Studio Code and more!) which brings fantastic PowerShell features such as intellisense, syntax highlighting and code navigation.
Unfortunately I was unable to install the PowerShell extension at work because we have a proxy server sitting in the way, that also affected VSCode’s ability to auto-update itself. It took a while to figure out how to configure VSCode to use the proxy server so I’m posting here in case I ever need to know again.
Open up File->Preferences->User Settings
Add the following into the setting.json file that appears:
(Enter the address of your own proxy server of course.)
Boom. You’re done! After that VSCode will auto-update and you’ll be able to install extensions.