vscode: wo wird das Kommando für F5 gespeichert

[Moriz (untertaucher)]

Wenn Debugging (F5) mit ${command:AskForProgramName} gestartet wird, 
öffnet sich für eine neue Datei ein Fenster, in das man das Kommando 
eingeben kann, mit dem das Programm gestartet wird.

vscode merkt sich diese Voreinstellung für weitere Starts.

Wenn man allerdings dieses Kommando ändert, wirkt diese Änderung jeweils 
nur für den nächsten Start. Beim übernächsten Start wird wieder das 
ursprüngliche Kommando vorgeschlagen; die Änderung wird vergessen. Das 
ist sehr unpraktisch.

Ich habe versucht, heraus zu bekommen, wo vscode diese Einstellung 
speichert – leider ohne Erfolg.

Weiß jemand, wie man das Kommando persistent ändern oder löschen kann?

[Kaj G. (Firma: RUB) (bloody)]

File -> Preferences -> Keyboard Shortcuts [Ctrl+K Ctrl+S]

[J. S. (jojos)]

Moriz schrieb:
> Wenn Debugging (F5) mit ${command:AskForProgramName}

das ist wie ich es verstanden kein allgemeines Feature, das muss in der 
jeweiligen Debug Extension so eingebaut sein, als Beispiel findet google 
das mock-debug. Und da sieht es nicht persistent aus, was bei einem 
abgefragten Wert auch nicht sinnvoll erscheint.
Normalerweise hat man doch ein Projekt mit fixem Output, oder die aktive 
Datei im Editor, und das kann über die environment Variablen eingesetzt 
werden. Wenn es ein paar fixe Namen gibt die man gespeichert haben 
möchte, dann kann man auch mehrere Launch configs anlegen die dann vor 
dem Debuggen in der Dropdown Box ausgewählt werden.

[Moriz (untertaucher)]

Kaj G. schrieb:
> File -> Preferences -> Keyboard Shortcuts [Ctrl+K Ctrl+S]

Wie heißt das Kommando, was steht da in der linken Spalte?

[Moriz (untertaucher)]

J. S. schrieb:
> Und da sieht es nicht persistent aus, was bei einem
> abgefragten Wert auch nicht sinnvoll erscheint.

Es handelt sich um die Plugin Ruby LSP.

Das Feld ist bei einer neuen Datei leer und behält offenbar ad infinitum 
den Wert, den man beim ersten mal eingetragen hat – also ist es 
persistent, was bei einem häufig gebrachten Befehl ja erst mal sinnvoll.

Ärgerlich wird die Sache nur, wenn man das Kommando ändern will und man 
dann die Änderung bei jedem Aufruf wieder neu machen muss, weil das 
Plugin immer wieder den alten Wert vorschlägt.