Theia API Documentation v1.65.0
    Preparing search index...
    onDidEndTerminalShellExecution: Event<TerminalShellExecutionEndEvent>

    This will be fired when a terminal command is ended. This event will fire only when shell integration is activated for the terminal.