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)。