Re: zsh history gets destroyed when running out of disk space

[Michael Prokop <news@michael-prokop.at>]

[-- Attachment #1: Type: text/plain, Size: 1458 bytes --]

* Peter Stephenson <p.w.stephenson@ntlworld.com> [20070622 22:31]:
> On Thu, 21 Jun 2007 10:04:54 +0200 Frank Terbeck <ft@bewatermyfriend.org> wrote:
> > Michael Prokop <news@michael-prokop.at>:

> > > Problem:
> > > Zsh truncates the zsh history file if you are running out of disk
> > > space (AKA ENOSPC). If you don't have any space left in your $HOME
> > > and exit zsh you'll find an empty $HISTFILE left.

> > Hey, I experienced just the same a few days back. So, I also think
> > this should be addressed.

> The following detects errors during writing better.  If you're writing a
> new file it'll leave it wherever it gets to; if you're replacing an old
> file it will leave the old file alone.  That's about the best we can do.
> I haven't tested this on a failure, but it should be better than what
> we've got.

Verified, works.

Exiting shell quits with:

| zsh: failed to write history file /home/grml/.zsh_history.new: unknown error 1182546552

and an empty /home/grml/.zsh_history.new file is left. My original
/home/grml/.zsh_history is left untouched (no truncating anymore).
During a shell session the history file is getting longer only as
long as there a free bits left (as you intented to). The error code
might be improved though. ;)

regards,
-mika-
-- 
 ,'"`.         http://www.michael-prokop.at/
(  grml.org -» Linux Live-CD for texttool-users and sysadmins
 `._,'         http://www.grml.org/

[-- Attachment #2: Digital signature --]
[-- Type: application/pgp-signature, Size: 189 bytes --]