Comment Comment by mgdlbp a weaker method is to set a non-default HISTFILE after HISTSIZE etc parent mgdlbp 2 years ago