fixup! extra/runner: Hooks for user-specific logging

`[[` is a bashism; this test fails on Ubuntu where /bin/sh is dash not
bash.