To modify most Integrated Terminal settings, you will need to access your user JSON file. You can open it by clicking on the “Edit in settings.json” link in the Settings editor, or by using ...