|
From: Petr M. <mi...@ph...> - 2007-06-08 07:14:47
|
> > "man bash" => search HISTCONTROL gives several nice options -- some of them > > you are implementing for gnuplot. Have a look. > > Oh yeah... The 'ignoreboth' means 'ignorespace:ignoredups'. The ignore space > doesn't seem like anything that special or useful; it would mean developing a > habit of typing space before a command one doesn't want to go on the history > list. Is that worth implementing? The 'ignoredups' will leave out commands > that are the same as last command, not quite what you originally implemented. > However, the 'erasedups' is pretty similar, although I think your code stopped > after the first found duplicate...no difference if one starts from a clean > history stack. I think you can let it as is; optionally there could be useful set history full|ignoredups|condensed Then I would prefer the default to be the ignoredups. > On the surface this sounds worthwhile, but who wants to spend time selectively > deleting entries from an ephemeral history list? "Sorry, can't go out > tonight; got to clean my history list." It'd be better to edit $HOME/.gnuplot_history --- PM |