()
| 91 | } |
| 92 | |
| 93 | private syncHistory(): void { |
| 94 | // Sync local history to Bash's BASH_HISTORY for the history command |
| 95 | const envObj = this.env.getEnv(); |
| 96 | envObj.BASH_HISTORY = JSON.stringify(this.history); |
| 97 | } |
| 98 | |
| 99 | private getPrompt(): string { |
| 100 | const cwd = this.env.getCwd(); |