I just stumbled across the following: http://lists.gnu.org/archive/html
/bug-bash/2007-05/msg00016.html

So it seems that the current behaviour is intended, even if I think that
it is annoying.

-- 
ignoredupes in HISTCONTROL does not work anymore
https://bugs.launchpad.net/bugs/397230
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to