()
| 4785 | }); |
| 4786 | } |
| 4787 | function resetCursor() { |
| 4788 | const terminal = process.stderr.isTTY ? process.stderr : process.stdout.isTTY ? process.stdout : undefined; |
| 4789 | terminal?.write(SHOW_CURSOR); |
| 4790 | } |
| 4791 | type TeammateOptions = { |
| 4792 | agentId?: string; |
| 4793 | agentName?: string; |