jed in a pipe :-)

[Jörg Sommer <joerg@xxxxxxxxxxxx>]

Hi,

is it supported to use jed with stdin = /dev/null?

% ls | xargs jed

If jed prompts for an input while starting and you abort it with ^G jed
dies and does not reset the terminal. http://bugs.debian.org/390160

Jörg.
-- 
“Programming today is a race between software engineers striving to
build bigger and better idiot-proof programs, and the Universe trying
to produce bigger and better idiots. So far, the Universe is winning.”
(Rich Cook)

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