irb can write command history to a file, but it only does this when your irb session ends.
I would like to write out my command history more frequently: as often as on every command (like shell history), but it doesn't have to be so often.
Is there a .irbrc setting for this? Or will I have to hack the irb source...