ネイティブモードの構文

run

現在の引数を付けてプログラムの実行を開始します。

run arguments

新規の引数を付けてプログラムの実行を開始します。

run ... >|>> output_file

出力先の切り替えを設定します。

run ... < input_file

入力元の切り替えを設定します。

ここで

arguments はターゲットプロセスの実行に使用される引数です。

input_file は、入力元ファイルの名前です。

output_file は、出力先ファイルの名前です。

現在、run コマンドや runargs コマンドによって stderr の出力先を切り替えることはできません。