RedirectableInput

The capability to redirect the input of a process or process group

class Object
trait Matchable
class Any

Value members

Abstract methods

The low level method to attach an input to a process or process group.

The low level method to attach an input to a process or process group.

Use the other methods in this trait for convenience.

Value parameters:
source

Redirection source

Returns:

A new process or process group with the input redirected and the input redirection capability removed.

Concrete methods

def !<(stream: ProxStream[Byte]): P

Feed the process input from a byte stream with flushing per chunks enabled.

Feed the process input from a byte stream with flushing per chunks enabled.

An alias for fromStream.

Value parameters:
stream

Input stream

Returns:

A new process or process group with the input redirected and the input redirection capability removed.

def <(path: Path): P

Feed the process input from a file natively.

Feed the process input from a file natively.

An alias for fromFile.

Value parameters:
path

Path to the file

Returns:

A new process or process group with the input redirected and the input redirection capability removed.

def <(stream: ProxStream[Byte]): P

Feed the process input from a byte stream.

Feed the process input from a byte stream.

An alias for fromStream.

Value parameters:
stream

Input stream

Returns:

A new process or process group with the input redirected and the input redirection capability removed.

def fromFile(path: Path): P

Feed the process input from a file natively.

Feed the process input from a file natively.

An alias for &lt;.

Value parameters:
path

Path to the file

Returns:

A new process or process group with the input redirected and the input redirection capability removed.

def fromStream(stream: ProxStream[Byte], flushChunks: Boolean): P

Feed the process input from a byte stream.

Feed the process input from a byte stream.

An alias for &lt; and !&lt;.

Value parameters:
flushChunks

Flush the process input stream after each chunk

stream

Input stream

Returns:

A new process or process group with the input redirected and the input redirection capability removed.