On Mon 05/02/2024 at 00:45, Greg Wooledge <g...@wooledge.org> wrote: ... > If you're one of these "I want every command I ever run to be in my > shell history, retained forever, and I don't care how much space it > takes" people, then there are web pages out there that can help you. > I don't follow that philosophy myself, so I can't give you specific > variables and settings. But Google can.
I find a long history useful, and have already googled for such, though I should perhaps rotate it at some point :) Thanks for the detailed explanation. G