Prior to the VS Code April 2021 update, it was possible to set a default terminal in user settings, then override it in workspace settings for projects that needed a different terminal, like this:
User settings:
"terminal.integrated.shell.windows": "C:\\Windows\\System32\\wsl.exe"
Workspace settings:
"terminal.integrated.shell.windows": "C:\\Windows\\System32\\cmd.exe"
Now that terminal.integrated.shell has been deprecated, how would these settings be migrated?
I can use the following in user settings to set WSL as default:
"terminal.integrated.defaultProfile.windows": "Ubuntu (WSL)"
...but terminal.integrated.defaultProfile can't be set in workspace settings, so I can't use it to override the setting to a different terminal.
terminal.integrated.automationShell can be used in workspace settings to override the terminal that's used for automation (npm scripts, for instance), but not terminals that are launched manually.