On 2023-01-24 10:03:31 +0000, Richmond wrote: > No that wasn't the entire point of the thread. The OP didn't know the > cause, it was presumed by David Wright that it was caused by the buffer > filling up. But it could have been caused by some spurious character in > the file, e.g. ctrl-s.
I know that in general, the file does not contain special characters for the terminal. BTW, Ctrl-S does not prevent Ctrl-C from working: cventin% sleep 999 abc^Sde^C cventin% -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
