{
  "ui": {
    "useAlternateBuffer": true
  },
  "tools": {
    "truncateToolOutputLines": 10000
  }
}