Useful profile settings
The profiles
section of the settings.json
file defines the shells that are available in the drop-down menu. For example, if Windows Terminal had three shells available in the menu, a possible configuration would look like this:
// … "profiles": { "defaults": { }, "list": [ { // Make changes here to the powershell profile. "guid": "{61c54bbd-c2c6-5271-96e7-009a87ff44bf}", "name": "Windows PowerShell 5", "commandline": "powershell.exe", "hidden": false }, { "guid": "{0caa0dad-35be-5f56-a8ff-afceeeaa6101}", &...