chiark / gitweb /
coredump: optionally store coredumps on disk, not in the journal