Saya akan melakukan:
if not eof(stdin):
pass stdin to program
else:
do nothing
Saya merasa itu dapat ditulis cukup dekat dengan:
if test ! --is-eof - ; then
exec program
Masalah yang saya coba selesaikan adalah program
membaca dari stdin tetapi macet jika tidak mendapat input. Saya tidak memiliki akses ke sumber karena program
itu program
tidak dapat diubah. Input biner lebih besar dari ukuran memori sehingga menempatkan stdin ke file lebih dulu sangat lambat. Memproses semua input line-by-line di bash juga sangat lambat.
Solusinya idealnya bekerja di bawah csh dan bash.