Re: should probably be: BASH_SCRIPT I/O error : buffer full