[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: Ignoring entries starting with space

From: Juri Linkov
Subject: Re: Ignoring entries starting with space
Date: Mon, 22 Jun 2009 02:00:49 +0300
User-agent: Gnus/5.13 (Gnus v5.13) Emacs/23.0.93 (x86_64-pc-linux-gnu)

> The same way it is possible to delete duplicates in minibuffer history, I
> think it is also very useful to have the possibility to ignore entries
> starting with space(s). The new variable `history-ignore-space' would take
> care of this, being `nil' its defaut value.

I think it's good since bash provides this option in HISTCONTROL
and it is useful:

    A colon-separated list of values controlling how commands are saved
    on the history list.

    If the list of values includes ignorespace, lines which begin with
    a space character are not saved in the history list.

    A value of ignoredups causes lines matching the previous history
    entry to not be saved.

    A value of ignoreboth is shorthand for ignorespace and ignoredups.

    A value of erasedups causes all previous lines matching the current
    line to be removed from the history list before that line is saved.

We already have `history-delete-duplicates' that corresponds to the bash
option `ignoredups'.  So a new option that corresponds to `ignorespace'
would be good too.

Juri Linkov

reply via email to

[Prev in Thread] Current Thread [Next in Thread]