Method reset

src/tools/shell_session.js:258–263

* Reset the shell — kill the current process and spawn a fresh one. * Useful when the shell gets stuck (e.g. an interactive prompt).

()

   * Useful when the shell gets stuck (e.g. an interactive prompt).
   */
  async reset() {
    this.stop();
    this._dead = false;
    this.buffer = '';
    return await this.start();
  }

  /**
   * Stop the shell process. Idempotent.