Wie lege ich den Standardterminaltyp für Startkonfigurationen in Visual Studio Code fest?

Question

Ich habe die offiziellen Anweisungen befolgt, um in meinen Benutzereinstellungen ein Startobjekt zu erstellen:

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

Wenn ich eine Datei mit diesen Einstellungen ausführe, sieht die generierte Datei „launch.json“ folgendermaßen aus:

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

Dieser zweite Block hat keine Wirkung, der Code wird weiterhin auf der Standard-Debugkonsole ausgeführt.

Es sollte eine Datei generiert werden, die wie folgt aussieht:

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

Kann ich irgendetwas tun, damit vscode solche funktionierenden Startdateien generiert?