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}",    &...