(history: string[])
| 24 | } |
| 25 | |
| 26 | function saveHistory(history: string[]): void { |
| 27 | try { |
| 28 | writeFileSync(HISTORY_FILE, JSON.stringify(history.slice(-MAX_HISTORY), null, 2)); |
| 29 | } catch { |
| 30 | // Ignore errors |
| 31 | } |
| 32 | } |
| 33 | |
| 34 | // Event types for the activity feed |
| 35 | type ActivityEvent = |