Comment Re:looks like it still loses history (Score 1) 459
x86_64-redhat-linux-gnu
The problem is not with bash's default configuration but with configuration shipped with various distributions. Grandparent uses probably Ubuntu, and I can confirm that it's broken there just like he describes.
I think they inherited it from Debian, but (flame ahead) wouldn't be suprised if it was their own invention, just as broken flash, sound, or networking.