[Octave-patch-tracker] [patch #9022] Page help, ls, dir, even when "more" is off

[Lachlan Andrew]

Follow-up Comment #6, patch #9022 (project octave):

Thanks Philip.  I know that "cat file.txt" can be replaced by "type file.txt",
but in this context we need cat to take input from stdin.  I didn't think that
"echo hello | cat" could be replaced by "echo hello | type".

Still, the point is moot if there is a different mechanism for explicitly
turning paging on and off on a per-command basis, such as comment #4 allows.

    _______________________________________________________

Reply to this item at:

  <http://savannah.gnu.org/patch/?9022>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.gnu.org/