Then again, it could be a bite-sized task for someone to make ksh at least see if the command is a repeat of the last one and not add it if so. That is not the same as "look at all 500+ lines for dupes", but could help a bit at least.
Den mån 4 maj 2026 kl 08:20 skrev Jan Stary <[email protected]>: > > On May 04 11:16:22, [email protected] wrote: > > My command history contains duplicates, eating into HISTSIZE budget. How > > do I deduplicate it? > > Bump HISTSIZE up from the default of 500 and be done with it. > Or don't repeat shell commands :-) > -- May the most significant bit of your life be positive.
