[jed-users] write_region_to_command()?

[Ulli Horlacher <framstag@xxxxxxxxxxxxxxxxxxxx>]

I am looking for a command write_region_to_command() which should write
the marked region to an external (shell) command.

I know write_region_to_file(), which writes the region to a file.

Do I have to write it by myself or is there such a command (with different
name)?

                                                       
-- 
Ullrich Horlacher              Server und Virtualisierung
Rechenzentrum TIK
Universitaet Stuttgart         E-Mail: horlacher@xxxxxxxxxxxxxxxxxxxx
Allmandring 30a                Tel:    ++49-711-68565868
70569 Stuttgart (Germany)      WWW:    https://www.tik.uni-stuttgart.de/
REF:<20260311082519.GA1420834@xxxxxxxxxxxxxxxxxxxx>
_______________________________________________
For list information, visit <http://jedsoft.org/jed/mailinglists.html>.