commandrw/src/CommandRd.i3


INTERFACE CommandRd;
Treat the output on stdout of a shell program as Rd stream. This can be used e.g. to read gzip compressed files without temporary files.

IMPORT Rd, OSError, Pathname, File;

TYPE T <: Rd.T;

PROCEDURE Open (         command: Pathname.T;
                READONLY args   : ARRAY OF TEXT;
                         stdin  : File.T          := NIL; ): T
  RAISES {OSError.E};

END CommandRd.