491
/** Send input data to a terminal's PTY process. */
492
writeInput(uri: string, data: string): void {
494
>
if (terminal && terminal.exitCode === undefined) {
495
>
terminal.pty.write(data);
496
>
}
497
>
}
498
499
/** Send formatted text to a terminal's PTY process. */
500
async sendText(uri: string, data: string, options: ISendTextOptions): Promise<void> {
502
>
let forceBracketedPasteMode = false;
503
>
if (options.bracketedPasteMode) {
504
await terminal?.headlessTerminal?.whenPtyDataFlushed();
505
forceBracketedPasteMode = !!terminal?.headlessTerminal?.isBracketedPasteMode();
506
}
507
>
this.writeInput(uri, formatTerminalText(data, { shouldExecute: options.shouldExecute, forceBracketedPasteMode }));
agentHostTerminalManager.ts
508
>
}
509
510
/** Register a callback for PTY data events on a terminal. */