Как установить тип терминала по умолчанию для конфигураций запуска в Visual Studio Code?

Question

Я следовал официальным инструкциям по созданию объекта запуска в своих пользовательских настройках:

https://code.visualstudio.com/docs/editor/debugging#_global-launch-configuration

{
    "workbench.startupEditor": "newUntitledFile",
    "editor.minimap.enabled": false,
    "window.titleBarStyle": "native",
    "window.zoomLevel": 0,
    "editor.autoClosingBrackets": "never",
    "editor.autoClosingQuotes": "never",
    "java.configuration.checkProjectSettingsExclusions": false,
    "java.errors.incompleteClasspath.severity": "ignore",
    "editor.suggestSelection": "first",
    "vsintellicode.modify.editor.suggestSelection": "automaticallyOverrodeDefaultValue",
    "terminal.external.linuxExec": "gnome-terminal",
    "terminal.explorerKind": "external",
    "launch": {
        "configurations": [
            {
                "console": "externalTerminal"
            }
        ]
    }
}

Когда я запускаю файл с этими настройками, сгенерированный launch.json выглядит так:

{
    "configurations": [
        {
            "type": "java",
            "name": "CodeLens (Launch) - Dreieck",
            "request": "launch",
            "mainClass": "de.ostfalia.gdp.ss19.s2.Dreieck",
            "projectName": "gdp"
        },
        {
            "console": "externalTerminal"
        }
    ]
}

Этот второй блок не оказывает никакого эффекта, код по-прежнему выполняется в консоли отладки по умолчанию.

Должен быть создан файл, который выглядит следующим образом:

{
    "configurations": [
        {
            "type": "java",
            "name": "CodeLens (Launch) - Dreieck",
            "request": "launch",
            "mainClass": "de.ostfalia.gdp.ss19.s2.Dreieck",
            "projectName": "gdp",
            "console": "externalTerminal"
        }
    ]
}

Можно ли что-нибудь сделать, чтобы vscode генерировал рабочие файлы запуска, подобные этим?