On 2008-01-17 06:16:51 +0530, Raj Kiran Grandhi wrote: > Vincent Lefevre wrote: >> But even if it can append commands, would bash do that *immediately*? >> It seems that bash can save the history only when it exits. > > By immediately, do you mean writing to the history file after every > command?
Yes (zsh can do that, either just before the command starts or just after the command ends -- I prefer the former, but of course, the time taken by each command can no longer be written to the history file). > I don't think it does that. That would exclude the option of > ignoring duplicates, wouldn't it? No, only duplicates from the same shell are ignored. But I'd say this is a bit the same for bash if append mode is used. -- Vincent Lefèvre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/> 100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/> Work: CR INRIA - computer arithmetic / Arenaire project (LIP, ENS-Lyon) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]