Hi again On this Linux system (Ubuntu 10.10) you need to press ^D twice at ed to get it to react to the end-of-file. If you've modified the buffer but not written it, you need to press ^D four times to get ed to quit.
I've checked against the BSD ed, and that only needs one (or two to
quit with modified buffer)
Cause unknown...
Cheers
M
_______________________________________________
bug-ed mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-ed
