次へ:
80 Pwd
上へ:
3 コマンド
前へ:
78 Print
79
Printerr
printerr
は print コマンドとほぼ同じですが、その前の
set print
コ マンドの効果が続いている状態でも出力を常に stderr に送るところだけが違 います。
次へ:
80 Pwd
上へ:
3 コマンド
前へ:
78 Print
竹野茂治@新潟工科大学
2016年2月5日