Hab gerade bemerkt, das nur unmittelbar nacheinander folgende Duplikate entfernt werden.

Aber diese readline-History ist ja statisch, es kommt nichts automatisch, was dadurch nach vorne gerückt würde, darum werde ich wahrscheinlich alle Duplikate entfernen.