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

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

書式:

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

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

コマンド print の対象は名前付きデータブロックでも構いません。データ ブロック名は '$' で始まります。以下参照: inline data (77.3.4)。