Re: [PATCH] Prune duplicate command history entries

[Joel Brobecker <brobecker@adacore.com>]

> > This patch implements pruning of duplicate command-history entries using
> > a modest amount of lookbehind.  The motivation for this patch is to
> > reduce the prevalence of basic commands such as "up" and "down" in the
> > history file.
> 
> Dropping commands such as up / down could be pretty annoying if you
> wanted to figure out where you were in the past. Dropping things like
> bt from the history would be less annoying.

I guess it's a question of preference, then. I know that my shell
merges all duplicate commands into one when it comes to the history,
and I really appreciate that feature. A Lot.

> I wonder if we should classify commands into navigation or
> state-changing commands and diagnostic commands.
> I'd be happier see repeated diagnostic commands disappear, and less so
> for commands that change inferior state, or navigate me around the
> stack.

FWIW, I'd find that distinction a little too complex for the gains
we're trying to achieve. At most, I'd just suggest one toggle to
activate duplicate merging or not. Just my 2 cents.

-- 
Joel