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

[Frank Terbeck <ft@xxxxxxxxxxxxxxxxxxx>]

Michael Prokop <news@xxxxxxxxxxxxxxxxx>:
> 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. Maybe a new option could be introduced, that
works similar to the 'check_jobs' option that warns if jobs would be
killed. Similarly a 'hist_check_space' option could (if set) warn, if
a history file can not be written to disk.

In any case, I agree with Michael, that a history file should not be
truncated to zero-size if the needed space is not available. In that
case it's better, IMHO, to keep the old history file.

Regards, Frank

-- 
In protocol design, perfection has been reached not when there is
nothing left to add, but when there is nothing left to take away.
                                                  -- RFC 1925