On 2/12/15 9:06 AM, gregrwm wrote:
> i now suspect bash does not properly handle EINTR while handling history.
Maybe. There's not enough information here to say.
> this just happened:
> bash: history: write error: Interrupted system call
What command did you use? Writing the history to stdout is different
from writing to a pipe, which is different from using history -a or
history -w to write to a file.
It's difficult to say more without knowing which signal interrupted
the command.
Chet
--
``The lyf so short, the craft so long to lerne.'' - Chaucer
``Ars longa, vita brevis'' - Hippocrates
Chet Ramey, ITS, CWRU [email protected] http://cnswww.cns.cwru.edu/~chet/
