27 lines
590 B
JSON
27 lines
590 B
JSON
{
|
|
"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"
|
|
}
|
|
]
|
|
}
|