Tuesday, May 17, 2016 at 17:34, Karl Auer wrote: Re: clear history from shell (at least in part) >Are you sure? I think it's probably just doing the clear, not the write >and not the exit. Well the terminal closes, when I open a new terminal the history is clean