Como defino o tipo de terminal padrão para configurações de inicialização no Visual Studio Code?

Question

Segui as instruções oficiais para criar um objeto de inicialização nas minhas configurações de usuário:

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"
            }
        ]
    }
}

Quando executo um arquivo com essas configurações, o launch.json gerado fica assim:

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

Este segundo bloco não tem nenhum efeito, o código ainda é executado no console de depuração padrão.

Deve gerar um arquivo parecido com este:

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

Há algo que eu possa fazer para que o vscode gere arquivos de inicialização funcionais como este?