pi-extensions GitHub

pi-exit

For people whose fingers type /exit out of habit. It does exactly what pi's built-in /quit does: emit session_shutdown, then exit gracefully.

Install

Install it with the pi-extensions collection. There is no separate setup.

Usage

/exit