Thread readline history (11 answers)
Opened by Kuerbis at 2022-06-23 16:23

Kuerbis
 2022-06-23 19:31
#194389 #194389
User since
2011-03-20
936 Artikel
BenutzerIn
[default_avatar]
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.

View full thread readline history