<div class="gmail_quote">On 29 April 2012 00:44, Peter Gueckel <span dir="ltr"><<a href="mailto:pgueckel@gmail.com" target="_blank">pgueckel@gmail.com</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="im">
</div>It looked promising, but it doesn't work. I logged out and back in twice, then even<br>
completely turned off the computer and back on again, but when I examine the<br>
.bash_history file, it is riddled with duplicate commands. </blockquote><div><br>It works, but not retrospectively. If you try running one of the duplicated commands, it will strip out all of the duplicate entries then. You'll also need to run "history -w" to update the history file, otherwise it won't get updated until you exit the shell.<br>
</div></div><br>-- <br>Andy<br><br><i>The only person to have all his work done by Friday was Robinson Crusoe</i><br>