Moreover, bash history doesn't work nicely across different terminal tabs or computers.
Does anybody know a tool providing better command line history?
There's several controls to make the bash history do what you want. The defaults are just a bit odd.
2. I remember a HN submission for a piece of software (or collection of softwares?) that provided a centralized log of your command history across multiple machines. In this way, if you are working on multiple machines in a cluster, you can later search back through your histories from those machines in a single location. My Google Fu is failing me now though.
I started this in response to a HN post some years ago.
There is one aspect in which it's significantly worse, though: it's fiendishly difficult to configure and understand. I just use configs provided by others, which is not ideal but works.
[1] If you are using a mac and haven't installed a newer copy of bash you're using a version that's nearing on 10 years old and does indeed mostly suck.