I'd like to have Ctrl+C copy and Ctrl+Shift+C send Ctrl+C (interrupt).
I figured out the first half
{
"key": "ctrl+c",
"command": "workbench.action.terminal.copySelection",
"when": "terminalFocus"
}
But how do I do the second half? Is there a command to send an arbitrary key press to the terminal?
With Visual Studio Code 1.28.0 there is a command,
workbench.action.terminal.sendSequence
, to send arbitrary keypresses to the terminal. See Send text from a keybinding to the terminal.