Align terminal command ids with VS Code. Fixes #12084#12134

Merged

tsmaeder merged 3 commits intoeclipse-theia:masterfrom tsmaeder:12084_align_terminal_commands

Feb 8, 2023

+18-3

Commits on Jan 31, 2023

Align terminal command ids with VS Code. Fixes eclipse-theia#12084
tsmaeder
committed

Commits on Feb 1, 2023

Rename ID => identity
tsmaeder
committed

Commits on Feb 3, 2023

Address PR comments
tsmaeder
committed