run-external for system

Runs external command.

Signature

> run-external (command) ...rest --redirect-stdout --redirect-stderr --redirect-combine --trim-end-newline

Parameters

• command: external command to run
• ...rest: arguments for external command
• --redirect-stdout (-): redirect stdout to the pipeline
• --redirect-stderr (-): redirect stderr to the pipeline
• --redirect-combine (-): redirect both stdout and stderr combined to the pipeline (collected in stdout)
• --trim-end-newline (-): trimming end newlines

Examples

Run an external command

> run-external "echo" "-n" "hello"

Redirect stdout from an external command into the pipeline

> run-external --redirect-stdout "echo" "-n" "hello" | split chars