Javi Merino 44b785e81b Add an option to remove duplicates from search ...

Some users may prefer to keep duplicates in their zsh history, but
drop them from search.  The awk manual[0] recommends this.

[0] https://www.gnu.org/software/gawk/manual/html_node/History-Sorting.html

2022-05-12 07:42:17 +01:00

2.3 KiB

Raw Blame History

View Raw