95.71 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 (19)。