ProcessImpl
Process with no streams bound
Type members
Types
Value members
Concrete methods
- Definition Classes
Inherited methods
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.
- Inherited from:
- RedirectableInput
Redirects the error output to a file natively
Redirects the error output to a file natively
An alias for errorToFile
- Value parameters:
- path
Target file path
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the error output to a sink.
Redirects the error output to a sink.
The process error output type will be Unit. An alias for errorToSink
- Value parameters:
- sink
Target sink
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the error output to a pipe and folds its output with a monoid instance.
Redirects the error output to a pipe and folds its output with a monoid instance.
The process error output type will be the same as the pipe's output type. An alias for errorToFoldMonoid
- Type parameters:
- O
Output type of the pipe. Must have a monoid instance.
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the error output to a file natively in append mode
Redirects the error output to a file natively in append mode
An alias for appendErrorToFile
- Value parameters:
- path
Target file path
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the error output to a pipe and collects its output to a vector
Redirects the error output to a pipe and collects its output to a vector
The process error output type will be a vector of the pipe's output type. An alias for errorToVector
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
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.
- Inherited from:
- RedirectableInput
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.
- Inherited from:
- RedirectableInput
Redirects the output to a file natively
Redirects the output to a file natively
An alias for toFile
- Value parameters:
- path
Target file path
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Redirects the output to a sink.
Redirects the output to a sink.
The process output type will be Unit. An alias for toSink
- Value parameters:
- sink
Target sink
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Redirects the output to a pipe and folds its output with a monoid instance.
Redirects the output to a pipe and folds its output with a monoid instance.
The process output type will be the same as the pipe's output type. An alias for toFoldMonoid
- Type parameters:
- O
Output type of the pipe. Must have a monoid instance.
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Redirects the output to a file natively in append mode
Redirects the output to a file natively in append mode
An alias for appendToFile
- Value parameters:
- path
Target file path
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Redirects the output to a pipe and collects its output to a vector
Redirects the output to a pipe and collects its output to a vector
The process output type will be a vector of the pipe's output type. An alias for toVector
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Adds an environment variable to the process
Adds an environment variable to the process
- Value parameters:
- nameValuePair
A pair of name and value
- Returns:
a new process with the working directory set
- Inherited from:
- ProcessLikeConfiguration
Redirects the error output to a file natively in append mode
Redirects the error output to a file natively in append mode
An alias for !>>
- Value parameters:
- path
Target file path
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the output to a file natively in append mode
Redirects the output to a file natively in append mode
An alias for >>
- Value parameters:
- path
Target file path
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
- Definition Classes
- Inherited from:
- ProcessConfiguration
Redirects the error output to a pipe and drains it regardless of its output type.
Redirects the error output to a pipe and drains it regardless of its output type.
The process error output type will be Unit.
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the output to a pipe and drains it regardless of its output type.
Redirects the output to a pipe and drains it regardless of its output type.
The process output type will be Unit.
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Redirects the error output to a file natively
Redirects the error output to a file natively
An alias for !>
- Value parameters:
- path
Target file path
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the error output to a pipe and folds its output with a monoid instance.
Redirects the error output to a pipe and folds its output with a monoid instance.
The process error output type will be the same as the pipe's output type. An alias for !>#
- Type parameters:
- O
Output type of the pipe. Must have a monoid instance.
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the error output to a sink.
Redirects the error output to a sink.
The process error output type will be Unit. An alias for !>
- Value parameters:
- sink
Target sink
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the error output to a pipe and collects its output to a vector
Redirects the error output to a pipe and collects its output to a vector
The process error output type will be a vector of the pipe's output type. An alias for !>?
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the error output to a pipe and folds it with a custom function.
Redirects the error output to a pipe and folds it with a custom function.
The process error output type will be R.
- Type parameters:
- O
Output type of the pipe
- R
Result type of the fold
- Value parameters:
- fn
The fold function
- init
The initial value for the fold
- pipe
Target pipe
- Returns:
Returns a new process with its error output redirected and its error redirection capability removed.
- Inherited from:
- RedirectableError
Redirects the output to a pipe and folds it with a custom function.
Redirects the output to a pipe and folds it with a custom function.
The process output type will be R.
- Type parameters:
- O
Output type of the pipe
- R
Result type of the fold
- Value parameters:
- fn
The fold function
- init
The initial value for the fold
- pipe
Target pipe
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Feed the process input from a file natively.
Feed the process input from a file natively.
An alias for <.
- Value parameters:
- path
Path to the file
- Returns:
A new process or process group with the input redirected and the input redirection capability removed.
- Inherited from:
- RedirectableInput
Feed the process input from a byte stream.
- 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.
- Inherited from:
- RedirectableInput
Changes the working directory of the process
Changes the working directory of the process
- Value parameters:
- workingDirectory
the working directory
- Returns:
a new process with the working directory set
- Inherited from:
- ProcessLikeConfiguration
Use the inherited working directory of the process instead of an explicit one
Use the inherited working directory of the process instead of an explicit one
- Returns:
a new process with the working directory cleared
- Inherited from:
- ProcessLikeConfiguration
Starts the process asynchronously and blocks the execution until it is finished
Starts the process asynchronously and blocks the execution until it is finished
- Value parameters:
- runner
The process runner to be used
- Returns:
the result of the finished process
- Inherited from:
- Process
Starts the process asynchronously and returns a closeable fiber representing it
Starts the process asynchronously and returns a closeable fiber representing it
Joining the fiber waits for the process to be terminated. Canceling the fiber terminates the process normally (with SIGTERM).
- Value parameters:
- runner
The process runner to be used
- Returns:
a managed fiber representing the running process
- Inherited from:
- Process
Starts the process asynchronously and returns the RunningProcess interface for it
Starts the process asynchronously and returns the RunningProcess interface for it
This is the most advanced way to start processes. See start and run as alternatives.
- Type parameters:
- Info
The runner-specific process info type
- Value parameters:
- runner
The process runner to be used
- Returns:
interface for handling the running process
- Inherited from:
- Process
Redirects the output to a file natively
Redirects the output to a file natively
An alias for >
- Value parameters:
- path
Target file path
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Redirects the output to a pipe and folds its output with a monoid instance.
Redirects the output to a pipe and folds its output with a monoid instance.
The process output type will be the same as the pipe's output type. An alias for >#
- Type parameters:
- O
Output type of the pipe. Must have a monoid instance.
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Redirects the output to a sink.
Redirects the output to a sink.
The process output type will be Unit. An alias for >
- Value parameters:
- sink
Target sink
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Redirects the output to a pipe and collects its output to a vector
Redirects the output to a pipe and collects its output to a vector
The process output type will be a vector of the pipe's output type. An alias for >?
- Type parameters:
- O
Output type of the pipe
- Value parameters:
- pipe
Target pipe
- Returns:
Returns a new process or process group with its output redirected and its output redirection capability removed.
- Inherited from:
- RedirectableOutput
Replaces the arguments
Replaces the arguments
- Value parameters:
- newArguments
new list of arguments
- Returns:
returns a new process specification
- Inherited from:
- ProcessConfiguration
Replaces the command
Replaces the command
- Value parameters:
- newCommand
new value for the command to be executed
- Returns:
returns a new process specification
- Inherited from:
- ProcessConfiguration
Removes an environment variable from the process
Removes an environment variable from the process
Usable to remove variables inherited from the parent process.
- Value parameters:
- name
Name of the environment variable
- Returns:
a new process with the working directory set
- Inherited from:
- ProcessLikeConfiguration