Zachary Yedidia 9e8d76f2fa If stdout is a pipe, output to the pipe ...

If you run micro as `micro | cat` for example, micro will disallow
you from saving the file, and when you quit the buffer, the contents
will be sent to the pipe. This allows one to use micro as part of
an interactive unix pipeline.

Closes #1524

2020-02-27 12:39:19 -05:00

..

micro

If stdout is a pipe, output to the pipe

2020-02-27 12:39:19 -05:00