Re: jed in a pipe :-)

[Marc Haber <mh+jed-users@xxxxxxxxxxxx>]

On Tue, Oct 10, 2006 at 12:18:02AM -0400, John E. Davis wrote:
> In this case, xargs is jed's parent process.  By pressing ^G, you end
> up sending it SIGINT causing xargs to die leaving jed an orphaned
> process unable to access its controlling terminal.  When jed tries to
> read from the terminal (/dev/tty), the read fails with errno set to
> EIO.  Jed then exits with an error message and, in the process,
> attempts to reset the terminal. This again fails and sets EIO to -1.
> Unfortunately I see no workaround other than to disable this use
> altogether, which I do not want to do.  For this reason, I do not
> regard this as a jed bug.

Agreed. This should, however, be documented for jed.

> If xargs had an option such as "--ignore-sigint", then this would not
> be a problem.  For this reason, I never use xargs and use jed in this
> way:
> 
>    ls | jed --stdin-files

Very cute. Thanks.

Greetings
Marc

-- 
-----------------------------------------------------------------------------
Marc Haber         | "I don't trust Computers. They | Mailadresse im Header
Mannheim, Germany  |  lose things."    Winona Ryder | Fon: *49 621 72739834
Nordisch by Nature |  How to make an American Quilt | Fax: *49 621 72739835

--------------------------
To unsubscribe send email to <jed-users-request@xxxxxxxxxxx> with
the word "unsubscribe" in the message body.
Need help? Email <jed-users-owner@xxxxxxxxxxx>.