Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Feature Request: Please allow us to use this as the default terminal #1594
You can. Open setting.json with your JSON editor and create the profile of what you want. Then, edit the 5th line with the GUID of the profile you want to be the default.
Sure that this will be addressed after the UI development when they start working on the UI experience.