Zsh Mailing List Archive Messages sorted by: Reverse Date, Date, Thread, Author

manually truncating histfile?

X-seq: zsh-users 30176
From: "Anthony Heading" <ajrh@xxxxxxxx>
To: zsh-users@xxxxxxx
Subject: manually truncating histfile?
Date: Sat, 28 Dec 2024 13:04:58 -0500
Archived-at: <https://zsh.org/users/30176>
Feedback-id: i6aa94791:Fastmail
List-id: <zsh-users.zsh.org>

I have SAVEHIST=0x4000000 to prevent the history file ever being automatically truncated before e.g. I can archive it.

What's the best way then to explicitly truncate?  If I run a (non-interactive?) shell script with SAVEHIST set to a lower value, I'm not sure what triggers a rewrite.   Alternatively I could flock the histfile and do it manually, but I'm also not sure if flock is the appropriate lock on all platforms.

Follow-Ups:
- Re: manually truncating histfile?
  - From: Bart Schaefer
- Re: manually truncating histfile?
  - From: Jim
- Re: manually truncating histfile?
  - From: Ray Andrews

Messages sorted by: Reverse Date, Date, Thread, Author