Gri Commands
|
12.31: The `
|
`quit [.exit_status.]' |
Exits the gri program. If an exit status (`.exit_status.
') is
specified, then Gri returns this value, rounded to the nearest integer,
as the ``exit status'' (a concept meaningful mostly in the unix
environment, where it designates an error).