|
|
|
|
|
by EpicEng
3094 days ago
|
|
I'm not sure I understand; if you don't care about the output then send it to /dev/null. If you do care then pipe it to an editor. A terminal is not a text editor (I mean, I suppose it could be, but that seems like a rather large scope change.) |
|
As I said somewhere else, we have a concrete solution in mind for implementing folding as GP describes.