получить имя терминала / название в keybindings.json

Question

Я использую vscode интегрированные терминалы.Я хотел бы добавить ярлык в keybindings.json, но мне нужно добавить фильтр в разделе «когда» по имени терминала.Что-то вроде "терминал.имя == 'r'", как этого добиться?

{
    "key": ";",
    "command": "workbench.action.terminal.sendSequence",
    "args": { "text": "%>% " },
    "when": "terminalFocus && !terminalTextSelected"
},