{
  "name": "exit",
  "section": 1,
  "title": "exit the shell or booter session",
  "synopsis": [
    "exit [status]"
  ],
  "description": "When run as /bin/exit, requests the booter to end the session via ctx.requestBooterExit. Status defaults to 0.",
  "options": [],
  "keywords": [
    "exit",
    "bare-os",
    "coreutils"
  ],
  "bareOsNotes": "Also available as a shell builtin with different wiring.",
  "examples": [
    {
      "caption": "leave session with status",
      "code": "exit 0"
    },
    {
      "caption": "from script",
      "code": "/bin/exit 42"
    }
  ]
}