112.75 Print コマンドの出力先 (print)

コマンド set print は print コマンドの出力をリダイレクトします。

書式:

     set print
     set print "-"
     set print "<filename>" [append]
     set print "|<shell_command>"
     set print $datablock [append]

パラメータなしの set print は、出力を <STDERR> に復帰させます。"-" という <filename> は <STDOUT> を意味します。append フラグはファイル を追加 (append) モードで開くことを意味します。パイプをサポートするプラ ットホーム上では、<filename> が "|" で始まっていたら、<shell_command> へのパイプが開かれます。

コマンド print の対象は名前付きデータブロックでも構いません。データ ブロック名は '$' で始まります。以下参照: inline data (18)。 データブロックへ文字列を出力する場合、改行文字が入っていると、それは 複数のデータブロック行を生成するように展開されます。