chiark / gitweb /
main: introduce configurable crash shell