Uses of Class
org.jline.shell.PipelineBuilder
Packages that use PipelineBuilder
Package
Description
Clean shell API for building interactive command-line applications with JLine.
-
Uses of PipelineBuilder in org.jline.shell
Methods in org.jline.shell that return PipelineBuilderModifier and TypeMethodDescriptionAdds a conditional AND (&&) to the next command.Adds an append redirection (>>) to the specified file.PipelineBuilder.background()Marks this pipeline for background execution.PipelineBuilder.combinedRedirect(Path file) Adds a combined stdout+stderr redirection (&>) to the specified file.Adds a flip pipe (|;) to the next command.PipelineBuilder.inputRedirect(Path file) Adds an input redirection (<) from the specified file.static PipelineBuilderStarts building a new pipeline with the given command.Adds a conditional OR (||) to the next command.Adds a pipe (|) to the next command.Adds an output redirection (>) to the specified file.Adds a sequence separator (;) to the next command.PipelineBuilder.stderrRedirect(Path file) Adds a stderr redirection (2>) to the specified file.