On Sun, Nov 30, 2008 at 8:16 PM, Quinlan Pfiffer <[EMAIL PROTECTED]> wrote:
> Couldn't this be simply done with piping? Unless I'm not understanding, you
> could ps aux | less just fine, couldn't you? Or you could use the < and >
> operators. For reference:
> http://www.gnu.org/software/bash/manu
** Bug watch added: GNOME Bug Tracker #558470
http://bugzilla.gnome.org/show_bug.cgi?id=558470
** Also affects: gnome-terminal via
http://bugzilla.gnome.org/show_bug.cgi?id=558470
Importance: Unknown
Status: Unknown
--
pipe stdin to stdin of 'command' when using -e or --command
Public bug reported:
Binary package hint: gnome-terminal
This is a wishlist item:
When using gnome-terminal with the -e or --command argument, stdin for
gnome-terminal should be piped to stdin for the executed command. This
would make gnome terminal far more useful, for example:
% bzr diff | gn