Thanks @kas@enotty.dk for the final nudge to change my bash history settings. Still on the fence about PROMPT_COMMAND=“history -a” though.