/usr/share/jed/lib/pipe.sl is in jed-common 1:0.99.19-7.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 | variable Last_Process_Command = Null_String;
define process_region ()
{
variable cmd, tmp_file;
cmd = read_mini ("Pipe to command:", Last_Process_Command, Null_String);
!if (strlen (cmd)) return;
Last_Process_Command = cmd;
tmp_file = make_tmp_file ("/tmp/jedpipe");
cmd = strncat (cmd, " > ", tmp_file, " 2>&1", 4);
!if (dupmark ()) error ("Mark not set.");
if (pipe_region (cmd))
{
error ("Process returned a non-zero exit status.");
}
del_region ();
() = insert_file (tmp_file);
() = delete_file (tmp_file);
}
|